Dominator tree and control dependence graph implementation