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
| _, _ -> stgs
in add_stgs configs