| composeAndReplace(ExprSubstitutionMap, ExprSubstitutionMap, Analyzer) |   | 47% | | 41% | 10 | 13 | 10 | 23 | 0 | 1 |
| subtraction(ExprSubstitutionMap, ExprSubstitutionMap, Analyzer) | | 53% | | 40% | 9 | 11 | 7 | 18 | 0 | 1 |
| verify() | | 76% | | 64% | 4 | 8 | 2 | 8 | 0 | 1 |
| get(Expr) | | 67% | | 62% | 2 | 5 | 2 | 7 | 0 | 1 |
| putNoAnalyze(Expr, Expr) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| combine(ExprSubstitutionMap, ExprSubstitutionMap) | | 78% | | 37% | 4 | 5 | 3 | 13 | 0 | 1 |
| ExprSubstitutionMap(boolean) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| compose(ExprSubstitutionMap, ExprSubstitutionMap, Analyzer) | | 94% | | 78% | 3 | 8 | 1 | 15 | 0 | 1 |
| useNotCheckDescIdEquals() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| updateLhsExprs(List) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| updateRhsExprs(List) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| reCalculateNullableInfoForSlotInRhs() | | 94% | | 60% | 4 | 6 | 0 | 6 | 0 | 1 |
| removeByLhsExpr(Expr) | | 93% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| mappingForRhsExpr(Expr) | | 92% | | 75% | 1 | 3 | 1 | 4 | 0 | 1 |
| debugString() | | 98% | | 75% | 1 | 3 | 0 | 6 | 0 | 1 |
| put(Expr, Expr) | | 95% | | 50% | 2 | 3 | 0 | 4 | 0 | 1 |
| removeByRhsExpr(Expr) | | 100% | | 75% | 1 | 3 | 0 | 6 | 0 | 1 |
| ExprSubstitutionMap(List, List) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| clone() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| substituteLhs(ExprSubstitutionMap, Analyzer, boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| clear() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| substituteLhs(ExprSubstitutionMap, Analyzer) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| ExprSubstitutionMap() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| containsMappingFor(Expr) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| size() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getLhs() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getRhs() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |