CFGExtractor: добавил поддержку циклов и разделил условия(условия циклов) условных вершин(циклов) и их тела. Также по функции теперь выводятся блоки только из ее тела