Если этот подход будет сочтён приемлемым, то надо проверять реализацию на всех частях грамматики... Уже увидел проблему с атрибутами записи  [ABSTRACT | EXTENSIBLE | LIMITED]...

Сложность работы с парсером в том, что закодированная там грамматика сильно отличается от исходной (что в сообщении о языке)... Плюс штуки типа LIMITED и пр. не лексема (вероятно от того, что в ручной реализации проблематично поменять выверенные и упорядоченные для быстрых проверок коды лексем; реализация унаследовалась от оберона2)...

P.S. Ошибка исправлена