let language_of_name = function
  | "" | "none" -> None
  | "alt-ergo" -> Some (if Wp_parameters.Arrays.get () then L_ergo92 else L_ergo91)
  | "coq" -> Some L_coq
  | "why" -> Some L_why
  | s -> Wp_parameters.abort "Language '%s' unknown" s