> But the truth is, they simply mask ambiguity away! Incorrect. The choice is explicit. Ambiguity gone, period. If the order makes some of the branches unreach

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