Указанные особенности языка разбираются на этапе семантического анализа. Удобно процедуры семантического анализа совместить с процедурами синтаксического анализа. На практике это означает, что в рекурсивные функции встраиваются дополнительные контекстно-зависимые проверки. Например, на этапе лексического анализа в таблицу TID заносятся данные обо всех лексемах- идентификаторах, которые встречаются в тексте программы. На этапе синтаксического анализа в ту же таблицу заносятся данные о типе идентификатора (поле type) и о наличии для него описания (поле declared). Для контроля повторных объявлений, создаётся вектор пар значений idents. Перед тем, как записать новую переменную в этот вектор, проверяется наличие идентификатора в этом списке.