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"