| Testing invalidation due to overwrite: | |
| x + y = 1 (original) | |
| x - y = -1 (original) | |
| x + y = 1 (original) | |
| x - y = -1 (original) | |
| x + y = 1 (original) | |
| x - y = -1 (overwritten) | |
| x + y = 1 (overwritten) | |
| x - y = -1 (overwritten) | |
| x + y = 1 (original) | |
| x - y = -1 (original) | |
| x + y = 1 (original) | |
| x - y = -1 (original) | |
| x + y = 1 (original) | |
| x - y = -1 (overwritten) | |
| Testing invalidation due to delete: | |
| x + y = 1 (from proto1) | |
| x - y = -1 (from proto1) | |
| x + y = 1 (from proto1) | |
| x - y = -1 (from proto1) | |
| x + y = 1 (from proto1) | |
| x - y = -1 (from proto2) | |
| x + y = 1 (from proto2) | |
| x - y = -1 (from proto2) | |
| Testing invalidation due to shadowing: | |
| x + y = 1 (from proto2) | |
| x - y = -1 (from proto2) | |
| x + y = 1 (from proto2) | |
| x - y = -1 (from proto2) | |
| x + y = 1 (from proto2) | |
| x - y = -1 (from proto1) | |
| x + y = 1 (from proto1) | |
| x - y = -1 (from proto1) | |