CDCL working on booleans (not equality for now) but really slow. Backjump must
be rewritten.