Merge CFG branch: implements CFGrapher