Module AltErgoParsers__Why_lexer