| collectEquivalenceCandidates(StructInfo, StructInfo, SlotMapping, ComparisonResult) |   | 16% | | 12% | 12 | 13 | 34 | 42 | 0 | 1 |
| collectRangeCandidates(StructInfo, StructInfo, SlotMapping, ComparisonResult, CascadesContext) | | 77% | | 50% | 7 | 11 | 7 | 33 | 0 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| mergePulledUpPredicates(Collection) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| compensateCouldNotPullUpPredicates(StructInfo, StructInfo, SlotMapping, ComparisonResult) | | 86% | | 57% | 5 | 8 | 3 | 20 | 0 | 1 |
| extractDnfBranches(Expression) | | 95% | | 81% | 3 | 9 | 3 | 31 | 0 | 1 |
| impliesByDnf(Expression, Expression) | | 92% | | 83% | 2 | 7 | 2 | 17 | 0 | 1 |
| crossProductBranches(List, List) | | 96% | | 80% | 2 | 6 | 1 | 14 | 0 | 1 |
| collectResidualCandidates(StructInfo) | | 95% | | 83% | 1 | 4 | 1 | 10 | 0 | 1 |
| doCompensateCandidatesByViewResidual(StructInfo, SlotMapping, Predicates.PredicateCompensation) | | 94% | | 50% | 1 | 2 | 1 | 12 | 0 | 1 |
| collectCompensationCandidates(StructInfo, StructInfo, SlotMapping, ComparisonResult, CascadesContext) | | 93% | | 50% | 3 | 4 | 1 | 6 | 0 | 1 |
| compensatePredicates(StructInfo, StructInfo, SlotMapping, ComparisonResult, CascadesContext) | | 87% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| buildCombinedPredicate(Collection[]) | | 100% | | 83% | 1 | 4 | 0 | 7 | 0 | 1 |
| removePredicatesImpliedByViewResidual(Map, Expression) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| collectViewResidualPredicates(StructInfo, SlotMapping) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| normalizeExpression(Expression, CascadesContext) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| validateCompensationByViewResidual(Expression, Predicates.PredicateCompensation) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| Predicates(Set, Set) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| splitPredicates(Expression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| compensateCandidatesByViewResidual(StructInfo, SlotMapping, Predicates.PredicateCompensation) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| of(Set, Set) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPulledUpPredicates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCouldNotPulledUpPredicates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$collectRangeCandidates$0(TreeNode) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |