removed QuantifierEliminate invoking from smt_engine.cpp