let wp_prover_get () =
match Wp_parameters.Prover.get () with
| "alt-ergo" -> Prover "alt-ergo"
| "coqide" -> Prover "coqide"
| "coq" -> Wp_parameters.Prover.set "coqide" ; Prover "coqide"
| "simplify" -> Prover "simplify"
| "vampire" -> Prover "vampire"
| "z3" -> Prover "z3"
| "cvc3" -> Prover "cvc3"
| "yices" -> Prover "yices"
| "zenon" -> Prover "zenon"
| _ -> NoProver