Using namespace expr in QuantifierEliminate.h