| diff(WriteSetOperations.UnrolledReferenceExpression, SymbolicUniverse) |  | 0% | | 0% | 8 | 8 | 14 | 14 | 1 | 1 |
| belongto(WriteSetOperations.UnrolledReferenceExpression) | | 0% | | 0% | 6 | 6 | 10 | 10 | 1 | 1 |
| shallowEqual(ReferenceExpression, ReferenceExpression) |  | 31% | | 33% | 6 | 7 | 8 | 12 | 0 | 1 |
| WriteSetOperations.UnrolledReferenceExpression(ReferenceExpression[]) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| replaceWithArraySliceReference(SymbolicUniverse, int) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| arraySliceReference(ReferenceExpression, SymbolicUniverse) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| WriteSetOperations.UnrolledReferenceExpression(ReferenceExpression, ReferenceExpression) | | 65% | | 17% | 3 | 4 | 4 | 13 | 0 | 1 |
| isArraySliceReference(ReferenceExpression) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| numDiffs(WriteSetOperations.UnrolledReferenceExpression) | | 83% | | 67% | 2 | 4 | 3 | 9 | 0 | 1 |
| static {...} | | 80% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |