parsing EXISTS*, FORALL* (no branching)
Authored by: stefan_ratschan 2005-07-07
Parent: [r10]
Child: [r12]
