Generate all counter-examples in a smarter way... weirdly this fixes one check but screws up more...

avoid generating invalid counter examples

switch to sat4j