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