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