add immediate dominator field to bbs and output