included smt_engine as forward declaration to QuantifierEliminate