Draw control flow graph
Instructions: click a node
- Nodes dominated by the selected node are shown in orange
- Nodes in the dominance frontier of the selected note are shown with a blue outline
- Nodes in the iterated dominance frontier of the selected note are shown with a purple outline