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; }