subSequence RoyalandLoyal
<details key="invariant_ServiceLevel16" value="(Sequence{'a', 'b', 'c', 'c', 'd', 'e'}->subSequence(3, 5)) = Sequence{'c', 'c', 'd'}"/>
Generacion correcta resultado erroneo evalua false
<details key="invariant_ServiceLevel16" value="(Sequence{'a', 'b', 'c', 'c', 'd', 'e'}->subSequence(3, 5)) = Sequence{'c', 'c', 'd'}"/>
Generacion correcta resultado erroneo evalua false