CFGExtractor: набросал поддержку исключений