Add recalculation method to DominatorTree