Quantified variables crudely implemented. Should be sufficient for
reference clafers for now. Reference clafers implemented but weakly
tested. TODO: test, refactor, map unsat core to clafer constraints,
integrate with ClaferMOO.