Word description A tuple which keeps track of the stacks heights and increments of a basic-block during local analysis. The idea is that if the stack change instructions are tracked, then multiple changes can be folded into one. It has the following slots: