let pp_prover fmt = function
  | AltErgo -> Format.pp_print_string fmt "Alt-Ergo"
  | Coq -> Format.pp_print_string fmt "Coq"
  | Why smt -> Format.pp_print_string fmt (String.capitalize smt)
  | WP -> Format.fprintf fmt "WP"