let pp_prover fmt = function
  | AltErgo -> Format.pp_print_string fmt "Alt-Ergo"
  | Coq -> Format.pp_print_string fmt "Coq"
  | Why smt ->
      if Wp_parameters.debug_atleast 1 then
         Format.pp_print_string fmt ("Why:"^(String.capitalize smt))
      else
        Format.pp_print_string fmt (String.capitalize smt)
  | WP -> Format.fprintf fmt "WP"