Generally, one might want to assume that N pointers all point to distinct objects even if the underlying IR doesn't indicate this. However, the separate_storage assume bundle is currently limited to two arguments. There's no fundamental reason for this restriction and it should be lifted.