| BoundSet |  | 0% |  | 0% | 177 | 177 | 342 | 342 | 53 | 53 | 1 | 1 |
| LeastUpperBoundLogic |  | 0% |  | 0% | 85 | 85 | 141 | 141 | 32 | 32 | 1 | 1 |
| TypeInference |  | 0% |  | 0% | 78 | 78 | 166 | 166 | 22 | 22 | 1 | 1 |
| TypeHelper |  | 0% |  | 0% | 68 | 68 | 101 | 101 | 20 | 20 | 1 | 1 |
| ConstraintFormula.ReductionResult |  | 0% |  | 0% | 22 | 22 | 40 | 40 | 17 | 17 | 1 | 1 |
| InferenceVariable |  | 0% |  | 0% | 22 | 22 | 30 | 30 | 12 | 12 | 1 | 1 |
| ControlFlowLogic |  | 0% |  | 0% | 22 | 22 | 30 | 30 | 11 | 11 | 1 | 1 |
| TypeInferenceCache |  | 0% |  | 0% | 14 | 14 | 25 | 25 | 6 | 6 | 1 | 1 |
| ControlFlowLogic.new GenericVisitorAdapter() {...} |  | 0% |  | 0% | 17 | 17 | 18 | 18 | 9 | 9 | 1 | 1 |
| InstantiationSet |  | 0% |  | 0% | 14 | 14 | 21 | 21 | 10 | 10 | 1 | 1 |
| ProperLowerBound |  | 0% |  | 0% | 10 | 10 | 15 | 15 | 6 | 6 | 1 | 1 |
| Instantiation |  | 0% |  | 0% | 10 | 10 | 15 | 15 | 6 | 6 | 1 | 1 |
| ProperUpperBound |  | 0% |  | 0% | 10 | 10 | 15 | 15 | 6 | 6 | 1 | 1 |
| Substitution |  | 0% | | 0% | 6 | 6 | 16 | 16 | 5 | 5 | 1 | 1 |
| ConstraintFormulaSet |  | 0% | | 0% | 7 | 7 | 19 | 19 | 6 | 6 | 1 | 1 |
| Bound |  | 0% |  | 0% | 16 | 16 | 16 | 16 | 10 | 10 | 1 | 1 |
| LeastUpperBoundLogic.TypeSubstitution |  | 0% |  | 0% | 9 | 9 | 13 | 13 | 7 | 7 | 1 | 1 |
| ControlFlowLogic.new GenericVisitorAdapter() {...} |  | 0% |  | 0% | 8 | 8 | 11 | 11 | 4 | 4 | 1 | 1 |
| InferenceVariableSubstitution |  | 0% | | n/a | 4 | 4 | 12 | 12 | 4 | 4 | 1 | 1 |
| MethodType |  | 0% | | n/a | 6 | 6 | 12 | 12 | 6 | 6 | 1 | 1 |
| ExpressionHelper |  | 0% | | 0% | 6 | 6 | 4 | 4 | 5 | 5 | 1 | 1 |
| BoundSet.VariableDependency |  | 0% | | n/a | 4 | 4 | 7 | 7 | 4 | 4 | 1 | 1 |
| ConstraintFormula | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |