The ReductionMembers constraint is showing incorrect warnings for collections, it should consider also changes in how member references are constructed. Part 1 needs to be updated accordingly.