ite removal option for quantifiers --ite-remove-quant, e-matching for boolean terms, improvement for pre skolemization
Added a rewrite for iff:
x = c iff x = d ---> false
This fixes Andy's problem if unconstrained simplification is turned on.
fix to build system: #include the proper file when they are in both builds and src
Fix warning (line annotation)
Merge branch '1.0.x'