Avail Variable Access Note
An AvailVariableAccessNote is a helper class used during data flow analysis. As it progresses forward through a block's AvailInstructions, it tracks, for a particular variable, the most recent instruction which pushes that variable itself on the stack. It also tracks the most recent instruction which pushes that variable's value on the stack.
Author
Mark van Gulik