let wp_prover_menu = [
  "None" , NoProver ;
  "Alt-Ergo" , AltErgo true ;
  "Alt-Ergo (no array)" , AltErgo false ;
  "Coq" , Prover "coqide" ;
  "Z3" , Prover "z3" ; 
  "Simplify" , Prover "simplify" ;
  "CVC3" , Prover "cvc3" ;
  "Yices" , Prover "yices" ;
  "Zenon" , Prover "zenon" ;
]