let pp_goal fmt g =
  begin
    Format.fprintf fmt "@[<v 0>Proof Obligation %s:@]@\n" g.po_name ;
    List.iter
      (fun (prover,result) ->
         Format.fprintf fmt "Prover %a returns %a@\n"
           pp_prover prover
           pp_result result ;
      ) (get_results g) ;
    Format.fprintf fmt "Environment: %s@\n" (String.capitalize g.po_env) ;
    List.iter (fun d -> Format.fprintf fmt "%a@\n" pp_dependency d) g.po_dep ;
    List.iter (fun w -> Format.fprintf fmt "%a@\n" pp_warning w) g.po_warn ;
    Command.pp_from_file fmt (file_for_body ~gid:g.po_gid)
  end