| ContractTransformerWorker |   | 8% | | 8% | 52 | 56 | 235 | 260 | 9 | 13 | 0 | 1 |
| MemoryLocationManager | | 0% | | 0% | 66 | 66 | 213 | 213 | 15 | 15 | 1 | 1 |
| ContractClauseTransformer | | 0% | | 0% | 55 | 55 | 160 | 160 | 16 | 16 | 1 | 1 |
| ClauseTransformGuideGenerator | | 0% | | 0% | 36 | 36 | 110 | 110 | 15 | 15 | 1 | 1 |
| FunctionContractBlock | | 0% | | 0% | 29 | 29 | 54 | 54 | 9 | 9 | 1 | 1 |
| SpecialContractExpressionFinder | | 0% | | 0% | 25 | 25 | 53 | 53 | 7 | 7 | 1 | 1 |
| FunctionContractBlock.ConditionalClauses | | 0% | | 0% | 12 | 12 | 23 | 23 | 10 | 10 | 1 | 1 |
| FunctionContractBlock.ContractClause | | 0% | | 0% | 9 | 9 | 18 | 18 | 5 | 5 | 1 | 1 |
| MPIContractUtilities | | 0% | | 0% | 12 | 12 | 16 | 16 | 10 | 10 | 1 | 1 |
| ContractTransformerWorker.SourceFileWithContractedFunctions | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 | 1 | 1 |
| MPIContractTransformState | | 0% | | 0% | 14 | 14 | 13 | 13 | 8 | 8 | 1 | 1 |
| ContractTransformerWorker.FunctionContractTransformGuide | | 0% | | 0% | 6 | 6 | 14 | 14 | 5 | 5 | 1 | 1 |
| ClauseTransformGuideGenerator.ClauseTransformGuide | | 0% | | n/a | 1 | 1 | 11 | 11 | 1 | 1 | 1 | 1 |
| SpecialContractExpressionFinder.SpecialContractHub | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 | 1 | 1 |
| CommonASTNodeSubstituteGuide | | 0% | | 0% | 4 | 4 | 5 | 5 | 3 | 3 | 1 | 1 |
| MPIContractUtilities.MemoryAllocation | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 | 1 | 1 |
| ContractTransformerWorker.SourceFileWithContractedFunctions.ContractedFunction | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| ContractTransformerWorker.FunctionContractTransformGuide.REGuidePair | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| MemoryLocationManager.MemoryBlock | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 | 1 | 1 |
| MemoryLocationManager.MemorySetBoundVariableSubstitution | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| ContractClauseTransformer.TransformedPair | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |