| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 144 of 157 | 8% | 55 of 56 | 1% | 28 | 31 | 29 | 33 | 0 | 3 |
| apply(Expr, Analyzer, ExprRewriter.ClauseType) | | 3% | | 1% | 28 | 29 | 29 | 31 | 0 | 1 |
| static {...} | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| CompoundPredicateWriteRule() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |