| BoundSet |  | 0% |  | 0% | 177 | 177 | 368 | 368 | 53 | 53 | 1 | 1 |
| LeastUpperBoundLogic |  | 0% |  | 0% | 90 | 90 | 156 | 156 | 34 | 34 | 1 | 1 |
| TypeInference |  | 0% |  | 0% | 78 | 78 | 172 | 172 | 22 | 22 | 1 | 1 |
| TypeHelper |  | 0% |  | 0% | 68 | 68 | 111 | 111 | 20 | 20 | 1 | 1 |
| ConstraintFormula.ReductionResult |  | 0% |  | 0% | 22 | 22 | 41 | 41 | 17 | 17 | 1 | 1 |
| InferenceVariable |  | 0% |  | 0% | 22 | 22 | 31 | 31 | 12 | 12 | 1 | 1 |
| ControlFlowLogic |  | 0% |  | 0% | 22 | 22 | 32 | 32 | 11 | 11 | 1 | 1 |
| TypeInferenceCache |  | 0% |  | 0% | 14 | 14 | 26 | 26 | 6 | 6 | 1 | 1 |
| ControlFlowLogic.new GenericVisitorAdapter() {...} |  | 0% |  | 0% | 17 | 17 | 19 | 19 | 9 | 9 | 1 | 1 |
| InstantiationSet |  | 0% |  | 0% | 14 | 14 | 22 | 22 | 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 | 17 | 17 | 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 | 15 | 15 | 6 | 6 | 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 |