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"