необходимо разделить рёбра графа (которые соединяют импорты, for и while по базовым именами и итераторам) с метками use и def (которые позволяют видеть абсолютно все использования данного идентификатора или выражения транзитивно) -- вторые будут использоваться больше для поиска ошибок и как дополнительный метод навигации по графу
необходимо разделить рёбра графа (которые соединяют импорты, for и while по базовым именами и итераторам) с метками use и def (которые позволяют видеть абсолютно все использования данного идентификатора или выражения транзитивно) -- вторые будут использоваться больше для поиска ошибок и как дополнительный метод навигации по графу