resolved error in QuantifierEliminate.h file and QuantifierEliminate in
smt engine has been changed to CVC4::qe::QuantifierEliminate