Finding Dominators via Disjoint Set Union
A fast algorithm for finding dominators in a flowgraph