Whether only what flowR tracks may write into the environment the variable definition holder holds: every read of it, through copies and parameters it is handed to, is the environment of an access or of a call that looks up or writes bindings in it (see EnvironmentLookups), or an argument of a function of the program, whose writes are replayed or count as unknown side effects.
Whether only what flowR tracks may write into the environment the variable definition
holderholds: every read of it, through copies and parameters it is handed to, is the environment of an access or of a call that looks up or writes bindings in it (see EnvironmentLookups), or an argument of a function of the program, whose writes are replayed or count as unknown side effects.