Structs
Enums
An abstract value is either a known constant, or an unknown
(i.e. arbitrary value).
Constants
Bottom represents the empty set of stacks.
Represents the singleton set of empty abstract stacks (which is
distinct from empty set of stacks).