Slight modification on QuantifierEliminate.h file (Nothing significant)