Tested and debugged DelegatedRHSCollection on verus