let display_postdom () = let disp_all fmt = PostDom.iter (fun k v -> Format.fprintf fmt "Stmt:%d\n%a\n======" k PostComputer.pretty v) in Parameters.result "%t" disp_all