dominator tree works