Augmented Control Flow Graph
Add start, entry and exit, where start is the parent of entry and exit
Dominant tree and post dominant tree
Dominator tree: start from entry
Post dominator tree: start from exit
Control dependece graph
https://collab.its.virginia.edu/access/content/group/f7c3f065-5457-4a72-a314-d7209736a27b/Solutions%20to%20assignments/problem4%20-soln.pdf