Bug fixes for --purify-triggers, --dt-force-assignment.
Improved SMT-LIBv2 language support for unsat cores.
Fix assertion in rep_set.cpp, avoid full check in datatypes when in conflict.
sets stronger equality propagator