let get_model_option () =
  let model = Wp_parameters.Model.get () in
    match model with 
      | 0 -> Some M0 | 1 -> Some M1 | 2 -> Some M2 | 3 -> Some M3
      | _ -> None