higher bound on the
stack frame height stack age height bound
✕
___
bound
stack
less
on
age
of
in
is
↺ Reset