Find dominators in the control flow graph.