asp_horn_backdoors Requirement: lp2normal igen from: https://research.ics.aalto.fi/software/asp/lp2normal/