collect probadorCollection
collect
Context C
invariantCollect0a : Sequence{'first', 'second'}->collect(toUpperCase())=Sequence{'FIRST', 'SECOND'}
FAIL
collect
Context C
invariantCollect0a : Sequence{'first', 'second'}->collect(toUpperCase())=Sequence{'FIRST', 'SECOND'}
FAIL