Change on QuantifierEliminate class design on 26 June, 2014