eliminated QuantifierEliminate namespace