The node you are looking for is at Semantics and Representation of an abstract value.