CFGExtractor: начал реализовывать извлечение CFG