any generación codigo
<details key="invariant_ANY" value="self.memberships->collect( i_Membership : Membership | i_Membership.account )->any( i_LoyaltyAccount : LoyaltyAccount | i_LoyaltyAccount.number < 10000 )->asSet()->size()=0"/>
No genera archivo
GENERATE : null | /home/user/Escritorio/proyectoGrado/git/trabajofinal/runtime-EclipseApplication
null
GENERATE : null | /home/user/Escritorio/proyectoGrado/git/trabajofinal/runtime-EclipseApplication
null
FINISH GENERATE