[CORE] Add new flow graph generation (bug)
[CORE] Add export in dot format of new flow graph
[CORE] Correct bug in flow graph generation
[CORE] Fix bugs in control flow graph builder