Fix DFS number calculation for postdominators