Changed constructor of QuantifierEliminate.h file from
QuantifierEliminate(const Expr& ex) to QuantifierEliminate()