Sequence{1 .. 10} RoyalandLoyal
<details key="invariant_LoyaltyProgram10" value="Sequence{1 .. 10}->size() = 0"/>
No genera nada
Similar a #20
<details key="invariant_LoyaltyProgram10" value="Sequence{1 .. 10}->size() = 0"/>
No genera nada
Similar a #20