The state of each AmbientAccessKind a call accesses, as it is given to DataflowGraph#recordAmbientAccess and serialized with the graph (in which the call is the key).
The state of each AmbientAccessKind a call accesses, as it is given to DataflowGraph#recordAmbientAccess and serialized with the graph (in which the call is the key).