Assertion: function's value | /r/HasProperty | observed inside other invocations of f
Facets:
Source sentences:
text: The value of x can be only observed inside other invocations of f() , and as f() does not communicate the value of x to its environment, it is indistinguishable from function void f() {} that does nothing.