Add dominator tree