let mk_ff_user_select ff crit = mk_ff_crit ff (T.CcUserMark (T.CuSelect crit))