subOrderedSet probadorCollection
Context C
invariantSubOrderedSet0 : OrderedSet{'a', 'b', 'c', 'd'}->subOrderedSet(2, 3)=OrderedSet{'b', 'c'}
FAIL Esto debería dar OK
Context C
invariantSubOrderedSet01a : OrderedSet{'a', 'b', 'c', 'd'}->subOrderedSet(2, 3)->size()=0
OK esto deberia dar FAIL