read/write tracking for variable references