comparar collections probadorCollection

Deberian dar todas OK

Context C
invariantSelect1a : Bag{1, 2, 3}->select(i : Integer | i > 1 )=Bag{3, 2}
FAIL

Context C
invariantSelect1b : Bag{1, 2, 3}->select(i : Integer | i > 1 )=Bag{2, 3}
OK


Context C
invariantSelect3a : Set{1, 2, 3}->select(i : Integer | i > 1 )=Set{3, 2}
FAIL

Context C
invariantSelect3b : Set{1, 2, 3}->select(i : Integer | i > 1 )=Set{2, 3}
OK