ValueContext is a struct to identify a value context A value context consists of a call, the entry and exit lattice. Further a value context has a unique id which helps to distinguish between different value contexts.
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected