Subsequence idem invariantsubOrderedSet0 invariantSubOrderedSet01a Context C invariantSubsequence0a : Sequence{'a', 'b', 'c', 'd'}->subSequence(2, 3)=Sequence{'b', 'c'} FAIL Context C invariantSubsequence0b : Sequence{'a', 'b', 'c', 'd'}->subSequence(2, 3)->size()=0 OK
#48 idem relacionada #9