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