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.