метки на рёбрах понадобятся во время обхода графа; по меткам можно будет понимать, какой именно ФД кем именно используется или инициализируется; например, удобно искать попытки использования неинициализированных ФД: проходим по всем вершинам и смотрим, какие у вершины используются ФД, и проверяем, что для каждого из этих ФД есть входящее ребро с меткой этого ФД.
метки на рёбрах понадобятся во время обхода графа; по меткам можно будет понимать, какой именно ФД кем именно используется или инициализируется; например, удобно искать попытки использования неинициализированных ФД: проходим по всем вершинам и смотрим, какие у вершины используются ФД, и проверяем, что для каждого из этих ФД есть входящее ребро с меткой этого ФД.