Flexary formulas ought to be wrapped in parentheses.

Problem case: flexary disjunction as the left-hand side of a binary
disjunction.  (Similarly for conjunctions.)