Implemented the post dominator tree construction.