...
- A write to a variable does not depend on its current value
- A write to a variable does not depend on the result of any non-atomic , compound operations involving reads and writes of other variables (see CON01-J. Ensure that compound operations on shared variables are atomic for more information)
...