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" ;
  "(unknown)" , Unknown ;
]