Fix the bug when constructing Post-Dominator Tree. The construction of DFS
tree is very important.