Handle the case when the per-file graph shows an obvious dominator.
We probably could shortcut in this case, but it isn't a big deal.