subOrderedSet RoyalandLoyal
<details key="invariant_ServiceLevel17" value="(OrderedSet{'a', 'b', 'c', 'd'}->subOrderedSet(2, 3)) = OrderedSet{'b', 'c'}"/>Generacion correcta resultado erroneo evalua false
<details key="invariant_ServiceLevel17" value="(OrderedSet{'a', 'b', 'c', 'd'}->subOrderedSet(2, 3)) = OrderedSet{'b', 'c'}"/>Generacion correcta resultado erroneo evalua false