moved QuantifierEliminate.cpp file from parser to expr package