dominator and immediate dominator