let is_dominator f ~opening ~closing = let dominators = get_stmt_dominators f closing in DomSet.mem opening dominators