moved the code of calling eliminateQuantifier to smtEngine