&gt; But the truth is, they simply mask ambiguity away!<p>Incorrect. The choice is explicit. Ambiguity gone, period. If the order makes some of the branches unreachable, it can be easily statically proven. In <i>practice</i> this is more than enough and does not require nearly as much effort as all the other parsing approaches.