let get_behav_option () = match  Wp_parameters.Behav.get () with
  | "" -> None
  | bhv -> Some bhv