collection de set RoyalandLoyal
<details key="invariant_ServiceLevel2" value="Set{Set{1, 2}, Set{2, 3}, Set{4, 5, 6}}->size() = 3"/>
genera
invariant16 = context _ServiceLevel [invariant_ServiceLevel2]
invariant_ServiceLevel2 self = ((oclVal (Set [Val Set {1, 2}, Val Set {2, 3}, Val Set {4, 5, 6}]) |->| size)) |==| (oclInt 3)
parse error on input ‘1’