using namespace expr added to QuantifierEliminate.cpp