asSet RoyalandLoyal
self.account->asSet()->size()=0
invariant8 = context _Membership [invariant_correctCard]
invariant_correctCard self = (((oclVal (Set [Val self.account]) |->| asSet) |->| size)) |==| (oclInt 0)
Tiene que generar
invariant_correctCard self = (ocl self |.| account |->| asSet) |->| size)) |==| (oclInt 0)
idem #1