let mk_crit_fct_top fi m = mk_fct_user_crit fi (T.CuTop m)