let mk_fct_user_crit fi crit = mk_fct_crit fi (T.CcUserMark crit)