dominator tree is working now