added QuantifierEliminate code as forward declaration