converted definition of eliminateQuantifier function of smt_engine