Assertion: variable's value | /r/HasProperty | held safe
Facets:
value: from improper modification
type: CAUSE
Source sentences:
text: Again, modifications of I would not affect the control of the loop, but now a disjunction is possible: within the loop, references to the value of I might be to the (possibly altered) current value of I or to the auxiliary variable (held safe from improper modification) and confusing results are guaranteed.