CFGExtractor: переписал обрабоку, отделив проход по последовательным участкам и обработку условных вершинин. Теперь поддерживаются else-блоки