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