fixed printing of post dominators