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