let pp_prover fmt = function
  | AltErgo92 -> Format.pp_print_string fmt "Alt-Ergo"
  | AltErgo91 -> Format.pp_print_string fmt "Alt-Ergo(91)"
  | Coq -> Format.pp_print_string fmt "Coq"
  | Coqide ->  Format.pp_print_string fmt "Coqide"
  | Why "" -> Format.fprintf fmt "Why"
  | Why smt -> Format.fprintf fmt "Why(%s)" smt
  | WP -> Format.fprintf fmt "WP"