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