higher bound on the
stack age of stack top stack node
✕
___
age
is
i
lets
id
stack
in
let
↺ Reset