let mk_fct_crit fi crit =
  T.CrFct { T.cf_fct = T.FctSrc fi ; T.cf_info = crit }