2.1.3Statements

The parameterized statement non-terminals such as ‹Statement›X
take a flag indicating whether the productions may be right-terminated by a
one-armed if statement (i.e., an if statement with no else
clause). This is used to avoid the “dangling else”
ambiguity.