removed unnecessary codes from QuantifierEliminate.cpp file