let get_strategies assigns kf behaviors ki property =
  let configs = build_configs assigns kf behaviors ki property in
  let rec add_stgs l = match l with [] -> []
    | config::tl ->
        let stg = build_bhv_strategy config in
        let stgs = stg::(add_stgs tl) in
          match config.cur_bhv, config.asked_prop with
            | FunBhv (Some b), AllProps -> 
                let froms = Property.ip_from_of_behavior kf Kglobal b in
                let add acc ip = match ip with
                  | Property.IPFrom id_from ->
                      (WpFroms.get_strategy_for_from id_from)::acc
                  | _ -> acc
                in List.fold_left add stgs froms

            | _, _ -> (* TODO *) stgs
  in add_stgs configs