| FunctionTranslator |   | 77% |   | 72% | 243 | 701 | 547 | 2,522 | 10 | 110 | 0 | 1 |
| CommonAccuracyAssumptionBuilder |  | 1% |  | 0% | 122 | 124 | 405 | 411 | 20 | 22 | 0 | 1 |
| CommonModelFactory |   | 82% |   | 66% | 99 | 299 | 115 | 656 | 17 | 144 | 0 | 1 |
| FunctionContractTranslator |   | 47% |   | 48% | 39 | 63 | 109 | 218 | 1 | 7 | 0 | 1 |
| CommonFunction |   | 55% |   | 47% | 57 | 124 | 111 | 267 | 19 | 59 | 0 | 1 |
| CommonScope |   | 79% |   | 80% | 37 | 155 | 47 | 275 | 12 | 48 | 0 | 1 |
| CommonFragment |   | 64% |   | 61% | 27 | 61 | 57 | 155 | 5 | 22 | 0 | 1 |
| CommonModel |   | 58% |   | 43% | 23 | 53 | 44 | 115 | 13 | 37 | 0 | 1 |
| ModelBuilderWorker |   | 93% |   | 88% | 39 | 206 | 38 | 565 | 3 | 35 | 0 | 1 |
| MemoryUnitExpressionAnalyzer |   | 86% |   | 81% | 26 | 114 | 34 | 305 | 0 | 9 | 0 | 1 |
| FunctionInfo |  | 82% |  | 81% | 7 | 31 | 11 | 70 | 5 | 20 | 0 | 1 |
| CommonAbstractFunction | | 27% | | 0% | 4 | 6 | 11 | 15 | 3 | 5 | 0 | 1 |
| ExpandedCIVLSource | | 0% | | n/a | 8 | 8 | 13 | 13 | 8 | 8 | 1 | 1 |
| CommonCIVLTypeFactory |  | 96% |  | 89% | 8 | 75 | 5 | 209 | 3 | 52 | 0 | 1 |
| CommonNondetFunction | | 0% | | n/a | 3 | 3 | 4 | 4 | 3 | 3 | 1 | 1 |
| SystemCIVLSource | | 15% | | n/a | 7 | 8 | 8 | 9 | 7 | 8 | 0 | 1 |
| ABC_CIVLSource | | 79% | | 50% | 7 | 14 | 5 | 22 | 3 | 10 | 0 | 1 |
| CommonSystemFunction | | 70% | | n/a | 4 | 7 | 5 | 14 | 4 | 7 | 0 | 1 |
| CommonIdentifier | | 82% | | 50% | 6 | 13 | 5 | 24 | 0 | 6 | 0 | 1 |
| CommonLogicFunction | | 86% | | 50% | 2 | 10 | 1 | 17 | 0 | 8 | 0 | 1 |
| CommonModelBuilder | | 74% | | n/a | 2 | 4 | 4 | 10 | 2 | 4 | 0 | 1 |
| CommonModelFactory.TempVariableKind | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| ModelFactoryException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticAnalysisConfiguration | | 89% | | 100% | 1 | 4 | 1 | 9 | 1 | 2 | 0 | 1 |
| ModelBuilderWorker.new Object() {...} | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |
| CommonSourceable | | 100% | | n/a | 0 | 3 | 0 | 6 | 0 | 3 | 0 | 1 |