subsequence probadorCollection
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