moved code eliminateQuantifier function from smt_engine to command.cpp