Look at dominators in the post-topological sort.