Use Tree to represent dominator trees