Dominator tree builder