invariant_totalPoints RoyalandLoyal sum collect
inv invariant_totalPoints :
(self.deliveredServices->collect( i_Service : Service | i_Service.transactions )->collect( i_Transaction : Transaction | i_Transaction.points )->sum()) < 10000
<details key="invariant_totalPoints" value="(self.deliveredServices->collect( i_Service : Service | i_Service.transactions )->collect( i_Transaction : Transaction | i_Transaction.points )->sum()) < 10000"/>
No genera codigo para esta invariante