| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 85 of 240 | 64% | 17 of 28 | 39% | 11 | 18 | 20 | 46 | 0 | 4 |
| cleanRedundantMembers(WriteSetOperator.SimplePointerGroup) | | 33% | | 12% | 8 | 9 | 20 | 28 | 0 | 1 |
| apply(SymbolicExpression[][]) | | 95% | | 80% | 2 | 6 | 0 | 13 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| WriteSetUnionOperator(SymbolicUniverse, SymbolicUtility) | | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 |