allow arbitrary formulas in A(φ U ψ) and E(…)

previously only late parser steps were used so modalities were allowed
but not e.g. disjunctions. With this change all of the
CTLComparisonBenchmarks formulas successfully parse