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