let language_of_prover = function
  | Why _ -> L_why
  | Coq -> L_coq
  | AltErgo -> if Wp_parameters.Arrays.get () then L_ergo92 else L_ergo91
  | WP -> L_why