let display_dom () =
  Dom.iter
    (fun k v -> DomKernel.result "Stmt:%d@\n%a@\n======" k DomSet.pretty v)