If a rule always succeeds, the code that calls that rule does not need to check the result of its parse function. The else from that check is difficult to test without resorting to tricks.