let prover_of_name = function
| "none" -> None
| "alt-ergo" -> Some (if Wp_parameters.Arrays.get() then AltErgo92 else AltErgo91)
| "alt-ergo-why" -> Some (Why "alt-ergo")
| "coq" -> Some Coq
| "coqide" -> Some Coqide
| "why" -> Some why
| s -> Some (Why s)