Control-Flow, Dominator Tree, and dot output from Python bytecode - View it on GitHub