collect asSet RoyalandLoyal
inv invariant_nrOfParticipants2 :
self.numberOfCustomers = self.programs->collect( i_LoyaltyProgram : LoyaltyProgram | i_LoyaltyProgram.participants )->asSet()->size()
<details key="invariant_nrOfParticipants2" value="self.numberOfCustomers = self.programs->collect( i_LoyaltyProgram : LoyaltyProgram | i_LoyaltyProgram.participants )->asSet()->size()"/>
No genera codigo para esta invariante