009 reject group under alternation

✓ Passing This code compiles and runs correctly.

Code

input.k

Must contain:

GroupUnderAlternation

Flows

flow ~match click a branch to expand · @labels scroll to their anchor
match (expr: "b")