handles expressions that modify v, like v = rhs or ++v (it may be not a variable, but arr[i]*=2 for example)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected