Fix a bug in immediate dominator/postdominator calculation