Basic stack implementation for basic block. Values on stack are not preserved between basic blocks (jumps)
Pop entry state of basic block from external stack, push exit state to external stack.

[Delivers #80113346]