let mk_strategy desc cfg bhv_name new_loops kind tbl = {
  desc = desc; cfg = cfg; behavior_name = bhv_name; new_loops = new_loops; 
  strategy_kind = kind; annots = tbl;
}