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