-- Andreas 2021-02-03 -- The same BNF rule cannot appear twice (even with different labels). Bar. Foo ::= "foo "; Baz. Foo ::= " foo";