assume parens when parsing A(φ U ψ)

Example formulas from the benchmark seem to all have parens so assume
they are there