let pp_strategy_info fmt config =
Format.fprintf fmt "'%a', " Kernel_function.pretty config.kf;
let _ = match config.cur_bhv with
| FunBhv _bhv ->
Format.fprintf fmt "behavior '%s'" (name_of_asked_bhv config.cur_bhv)
| StmtBhv (_, s, bhv) ->
Format.fprintf fmt "behavior '%s' of statement %d" bhv.b_name s.sid
in Format.fprintf fmt ", %a, %a"
pp_asked_prop config pp_assigns_mode config