| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 53 of 279 | 81% | 15 of 38 | 60% | 14 | 28 | 14 | 66 | 1 | 9 |
| getEqualSetAndDoReplace(Expression, Set, Map) | | 58% | | 50% | 2 | 4 | 8 | 16 | 0 | 1 |
| infer(Set) | | 92% | | 71% | 4 | 8 | 2 | 19 | 0 | 1 |
| getAllSubExpressions(Expression, List) | | 80% | | 50% | 2 | 3 | 2 | 8 | 0 | 1 |
| findEqual(Set) | | 92% | | 62% | 2 | 5 | 1 | 14 | 0 | 1 |
| InferPredicateByReplace() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| lambda$infer$2(TreeNode) | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| lambda$findEqual$0(Pair) | | 92% | | 50% | 2 | 3 | 0 | 2 | 0 | 1 |
| lambda$findEqual$1(ImmutableEqualSet.Builder, Pair) | | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 | |
| getAllSubExpressions(Expression) | | 100% | n/a | 0 | 1 | 0 | 3 | 0 | 1 |