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"