Several modifications made (Member of QuantifierEliminate.h are not static from now)