added declaration of QuantifierEliminate as forward declaration