higher bound on the
stack top stack height
✕
___
less
stack
is
in
bound
age
rate
ward
↺ Reset