let wp_prover_menu = [
  "None"     , NoProver ;
  "Alt-Ergo" , Prover "alt-ergo" ;
  "Coq"      , Prover "coqide" ;
  "Z3"       , Prover "z3" ;
  "Simplify" , Prover "simplify" ;
  "Vampire"  , Prover "vampire";
  "CVC3"     , Prover "cvc3" ;
  "Yices"    , Prover "yices" ;
  "Zenon"    , Prover "zenon" ;
]