fix propagation of set singleton
fix propagation of set singleton fully
sets bug fix: sent correct reason when asserting equalities
fix for jan28 bug with disequality lemma generation
intermediate commit
trying to fix incompleteness
sets: rewrite constant predicates to true/false (partial implementation)
add learning of (in x (setenum x)