| MemoryLocationManager |   | 1% | | 0% | 74 | 76 | 259 | 265 | 14 | 16 | 0 | 1 |
| ClauseTransformGuideGenerator | | 82% | | 66% | 27 | 64 | 34 | 244 | 3 | 24 | 0 | 1 |
| ContractClauseTransformer | | 96% | | 91% | 14 | 113 | 8 | 431 | 1 | 33 | 0 | 1 |
| MPIContractUtilities | | 23% | | 0% | 9 | 12 | 13 | 16 | 7 | 10 | 0 | 1 |
| ContractTransformerWorker | | 96% | | 73% | 28 | 79 | 11 | 376 | 1 | 17 | 0 | 1 |
| MemoryLocationManager.new Object() {...} | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| MPIContractTransformState | | 0% | | 0% | 14 | 14 | 13 | 13 | 8 | 8 | 1 | 1 |
| MPIContractUtilities.MemoryAllocation | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 | 1 | 1 |
| FunctionContractBlock | | 93% | | 82% | 11 | 43 | 4 | 81 | 1 | 13 | 0 | 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 |
| SpecialContractExpressionFinder | | 97% | | 98% | 2 | 45 | 3 | 101 | 1 | 10 | 0 | 1 |
| FunctionContractBlock.ContractClause | | 91% | | 85% | 1 | 9 | 2 | 21 | 0 | 5 | 0 | 1 |
| ContractTransformerWorker.FunctionContractTransformGuide | | 94% | | 62% | 3 | 9 | 0 | 20 | 0 | 5 | 0 | 1 |
| ValueAtNodeSubstituteGuide | | 91% | | 62% | 3 | 7 | 0 | 7 | 0 | 3 | 0 | 1 |
| CommonASTNodeSubstituteGuide | | 82% | | 50% | 3 | 6 | 0 | 5 | 0 | 3 | 0 | 1 |
| FunctionContractBlock.new Object() {...} | | 87% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| FunctionContractBlock.ConditionalClauses | | 100% | | 100% | 0 | 12 | 0 | 23 | 0 | 10 | 0 | 1 |
| ContractTransformerWorker.SourceFileWithContractedFunctions | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 | 0 | 1 |
| SpecialContractExpressionFinder.SpecialContractHub | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 | 0 | 1 |
| ClauseTransformGuideGenerator.ClauseTransformGuide | | 100% | | n/a | 0 | 1 | 0 | 11 | 0 | 1 | 0 | 1 |
| ContractTransformerWorker.SourceFileWithContractedFunctions.ContractedFunction | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |
| ContractTransformerWorker.FunctionContractTransformGuide.REGuidePair | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |
| ContractClauseTransformer.TransformedPair | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |