CDCL seems to be working (not tested with theory yet, not completely
implemented)