let pp_info_of_strategy fmt strat = 
  Format.fprintf fmt "@[%s@]" strat.desc