add post dominators tree