includes RoyalandLoyal
Contexto Membership
-- inv invariant_correctCard :
-- self.participants.cards->includes(self.card)
No genera código
Contexto Membership
-- inv invariant_correctCard :
-- self.participants.cards->includes(self.card)
No genera código