CFGExtractor: сделал учет возвратов из функций в графе потока управления