Well yeah, but normal productions always have a KLabel. So it's not a special case. And you do need special handling for the token, but only as far as the rule goes. You still generate the rest of it the same. So even if there's an if clause somewhere in there, it can still be made much more compact.