pub unsafe fn RI_Initial_Check( arg_trigger: *mut Trigger, arg_fk_rel: Relation, arg_pk_rel: Relation, ) -> bool