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