pub unsafe fn is_redundant_derived_clause(
    arg_rinfo: *mut RestrictInfo,
    arg_clauselist: *mut List
) -> bool