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