Reduce search space for computing Luxenburger's base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Allow for predicates in Luxenburger's base

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>