Hold together local variable and stack state.
Return the bottom element.
Compute the least upper bound of a list of elements.
Compute the least upper bound of a list of elements.
Return the least upper bound of a and b.
Return the least upper bound of a and b.
Return the top element.
The lattice for this analysis.