higher bound on the
stack age of stack top stack node
stack node stack bound ___