sig
  val dominates :
    Region_analysis_sig.Node.node -> Region_analysis_sig.Node.node -> bool
  val domtree_postfix_iter : (Region_analysis_sig.Node.node -> unit) -> unit
end