let build_bhv_strategy config =
let annots = get_behavior_annots config in
let annots = add_global_annotations annots in
let desc = Pretty_utils.sfprintf "%a" pp_strategy_info config in
let new_loops = Wp_parameters.Invariants.get() in
WpStrategy.mk_strategy desc config.cfg (behavior_name_of_config config)
new_loops WpStrategy.SKannots annots