Dominator Tree Certification and Divergent Spanning Trees
A fast algorithm for finding dominators in a flowgraph