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