Collection, Sequence de Set RoyalandLoyal
<details key="invariant_ServiceLevel6" value="Sequence{Set{1,2}, Set{2,3}, Set{4,5,6}}->size()=3"/>
genera da error haskell
invariant16 = context _ServiceLevel [invariant_ServiceLevel6]
invariant_ServiceLevel6 self = ((oclVal (Sequence [Val Set {1, 2}, Val Set {2, 3}, Val Set {4, 5, 6}]) |->| size)) |==| (oclInt 3)