Create dominator tree