let pp_language fmt = function | L_altergo -> Format.pp_print_string fmt "Alt-Ergo" | L_coq -> Format.pp_print_string fmt "Coq" | L_why -> Format.pp_print_string fmt "Why"