Instructions that could get stuck in case there are not enough elements on the stack are not supported at the moment.
In principle, this should not be a problem since we can assume that runs do not get stuck for the relevant preconditions that we need to guarantee.
Instructions that could get stuck in case there are not enough elements on the stack are not supported at the moment.
In principle, this should not be a problem since we can assume that runs do not get stuck for the relevant preconditions that we need to guarantee.