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)