Global stack analysis


This vocab defines a bunch of dataflow analysises:
avail

anticip

dead

live

pending


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