Разбираемся с AST: проверка аргументов методов

Рассказ о том как анализировать AST (абстрактные синтаксические деревья) на предмет корректности кода из которого они сгенерированы, например используется ли аргумент метода где-нибудь в его теле