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