MakeNode.DomTree
val dominates : node -> node -> bool
val domtree_postfix_iter : (node -> unit) -> unit