Добавил все необходимые проверки для SymVisitor