find dominator loop continued