Build dominator tree