-- Andreas, 2021-10-05 -- Unsatisfiable tokens should be rejected, since they are usually not supported by lexers. Foo. Bar ::= "baz"; token Identifier (letter - letter) char | (digit* [""])+ | (upper - char)+ ; -- Each of these alternatives is empty.