changed QuantifierEliminate to pointer type