Start rework#16

dleiferives wants to merge 3 commits into

11-refactor-control-flow-graph-to-actually-compue-it-properlydleiferives/mdl:11-refactor-control-flow-graph-to-actually-compue-it-properlyfrom

12-produce-skeleton-cfgdleiferives/mdl:12-produce-skeleton-cfgCopy head branch name to clipboard