Since we can't know which variable was modified, we therefore have to conservatively assume that any variable might have been modified.
Chip Davis