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