stump for sweeping DominatorTree