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 ; ]