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