This vocab defines a bunch of dataflow analyses:
avail

anticip

dead

live

pending


The info they gather is used by finalize-stack-shuffling for optimal insertion of ##peek and ##replace instructions.