Add dominator tree and visualize it
Add copy propagation
Add Common Subexpression Elimination