CFGExtractor: Сделал генерацию XML, вывод в dot сделал после получения XML, отделил if,while,for как отдельный тип в графе
CFGExtractor: Сделал генерацию XML, вывод в dot сделал после получения XML, отделил if,while,for как отдельный тип в графе