let pp_language fmt = function
| L_ergo91 -> Format.pp_print_string fmt "Alt-Ergo (arrays)"
| L_ergo92 -> Format.pp_print_string fmt "Alt-Ergo (no arrays)"
| L_coq -> Format.pp_print_string fmt "Coq"
| L_why -> Format.pp_print_string fmt "Why"