A full type-flow analysis on a method computes in- and out-flows for each basic block (that's what MethodTFA does).
A map which returns the bottom type for unfound elements
The type flow lattice contains a binding from local variable names to types and a type stack.
The lattice of ICode types.
The lattice of type stacks.