| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 6 of 210 | 97% | 3 of 44 | 93% | 3 | 27 | 2 | 42 | 0 | 5 |
| from(Expression) | | 96% | | 85% | 2 | 8 | 2 | 18 | 0 | 1 |
| impliesUpperBound(Predicates.ComparablePredicateImplicationRule.Bound) | | 94% | | 91% | 1 | 7 | 0 | 8 | 0 | 1 |
| impliesLowerBound(Predicates.ComparablePredicateImplicationRule.Bound) | | 100% | | 100% | 0 | 7 | 0 | 8 | 0 | 1 |
| implies(Predicates.ComparablePredicateImplicationRule.ComparablePredicateRange) | | 100% | | 100% | 0 | 4 | 0 | 3 | 0 | 1 |
| Predicates.ComparablePredicateImplicationRule.ComparablePredicateRange(Expression, Predicates.ComparablePredicateImplicationRule.Bound, Predicates.ComparablePredicateImplicationRule.Bound) | | 100% | n/a | 0 | 1 | 0 | 5 | 0 | 1 |