The value of e$f or e[["f"]] when e surely holds an environment whose contents flowR tracks, see DataflowGraphVertexFunctionCall#found: what the definitions of f there hold, those a call binds for the calls the walk is in, if e is bound by the calls of the function around the access.
The value of
e$fore[["f"]]whenesurely holds an environment whose contents flowR tracks, see DataflowGraphVertexFunctionCall#found: what the definitions offthere hold, those a call binds for the calls the walk is in, ifeis bound by the calls of the function around the access.