let mk_ff_crit ff crit =
  T.CrFct { T.cf_fct = T.FctSliced ff ; T.cf_info = crit }