| FunctionTranslator |   | 80% |   | 75% | 206 | 635 | 227 | 1,650 | 3 | 87 | 0 | 1 |
| CommonAccuracyAssumptionBuilder |  | 1% |  | 0% | 125 | 127 | 255 | 261 | 19 | 21 | 0 | 1 |
| CommonModelFactory |   | 91% |   | 74% | 67 | 285 | 40 | 563 | 5 | 138 | 0 | 1 |
| CommonFragment |   | 61% |   | 65% | 25 | 61 | 50 | 146 | 5 | 22 | 0 | 1 |
| CommonAccuracyAssumptionBuilder.new Object() {...} |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| ContractTranslator |   | 69% |   | 64% | 19 | 39 | 21 | 118 | 0 | 9 | 0 | 1 |
| CommonScope |   | 84% |   | 82% | 34 | 141 | 30 | 222 | 10 | 44 | 0 | 1 |
| ModelBuilderWorker |   | 90% |   | 85% | 27 | 123 | 26 | 338 | 2 | 24 | 0 | 1 |
| FunctionTranslator.new Object() {...} |   | 86% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 | 0 | 1 |
| CommonAbstractFunction |  | 12% |  | 0% | 8 | 10 | 17 | 21 | 3 | 5 | 0 | 1 |
| CommonFunction |   | 89% |   | 85% | 20 | 84 | 21 | 180 | 8 | 42 | 0 | 1 |
| CommonModel |   | 72% |   | 54% | 19 | 44 | 22 | 84 | 10 | 30 | 0 | 1 |
| MemoryUnitExpressionAnalyzer |  | 94% |   | 87% | 21 | 113 | 14 | 210 | 0 | 9 | 0 | 1 |
| MemoryUnitExpressionAnalyzer.new Object() {...} |  | 86% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |
| ExpandedCIVL | | 44% | | n/a | 5 | 7 | 6 | 11 | 5 | 7 | 0 | 1 |
| CommonModelFactory.new Object() {...} |  | 87% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 1 |
| CommonSystemFunction | | 64% | | n/a | 2 | 6 | 3 | 11 | 2 | 6 | 0 | 1 |
| FunctionInfo |  | 95% |  | 90% | 4 | 27 | 4 | 62 | 2 | 17 | 0 | 1 |
| SystemCIVLSource | | 18% | | n/a | 6 | 7 | 7 | 8 | 6 | 7 | 0 | 1 |
| CommonIdentifier | | 82% | | 50% | 6 | 13 | 5 | 23 | 0 | 6 | 0 | 1 |
| ABC_CIVLSource | | 71% | | n/a | 3 | 9 | 4 | 12 | 3 | 9 | 0 | 1 |
| CommonModelBuilder | | 74% | | n/a | 2 | 4 | 4 | 10 | 2 | 4 | 0 | 1 |
| CommonModelFactory.TempVariableKind | | 82% | | n/a | 1 | 4 | 0 | 2 | 1 | 4 | 0 | 1 |
| ModelFactoryException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticAnalysisConfiguration | | 93% |  | 80% | 3 | 8 | 1 | 9 | 1 | 2 | 0 | 1 |
| CommonCIVLTypeFactory |  | 100% |  | 95% | 1 | 51 | 1 | 126 | 0 | 41 | 0 | 1 |
| ContractTranslator.new Object() {...} | | 89% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| CommonSourceable | | 100% | | n/a | 0 | 3 | 0 | 6 | 0 | 3 | 0 | 1 |