| processAcslValid(NodeFactory, OperatorNode) |  | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| processMPIValid(NodeFactory, MPIContractExpressionNode) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| processAcslValidWorker(NodeFactory, OperatorNode) |  | 71% | | 50% | 3 | 4 | 5 | 19 | 0 | 1 |
| transformAcslResult(FunctionContractBlock.ContractClause, ASTFactory, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 36% | | 50% | 1 | 2 | 4 | 7 | 0 | 1 |
| conjunct(ASTFactory, List) | | 70% | | 66% | 2 | 4 | 0 | 15 | 0 | 1 |
| transformAcslValid(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 85% | | 58% | 5 | 7 | 2 | 19 | 0 | 1 |
| transformMPIValid(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 92% | | 70% | 3 | 6 | 1 | 27 | 0 | 1 |
| decomposeRange(NodeFactory, RegularRangeNode) | | 82% | | 50% | 1 | 2 | 0 | 8 | 0 | 1 |
| transformMPIExtentAndDatatype(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 90% | | 83% | 1 | 4 | 2 | 15 | 0 | 1 |
| transformAcslOldExpression(FunctionContractBlock.ContractClause, ASTFactory, ExpressionNode, boolean, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 88% | | 83% | 1 | 4 | 2 | 16 | 0 | 1 |
| transformRemoteOnExpression(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 84% | | 75% | 1 | 3 | 2 | 12 | 0 | 1 |
| ClauseTransformGuideGenerator() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| createAllocation(ASTFactory, FunctionContractBlock.ContractClause, ExpressionNode, TypeNode, ExpressionNode, Source, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 25 | 0 | 1 |
| transformMPIExtentAndDatatypeWorker(NodeFactory, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 75% | 1 | 3 | 0 | 15 | 0 | 1 |
| arrayExtentsGTZero(NodeFactory, TypeNode, Source) | | 100% | | 100% | 0 | 3 | 0 | 12 | 0 | 1 |
| transformAssume(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| transformAssert(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| createAssumption(NodeFactory, ExpressionNode) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| getDatatypeIdentifier(ExpressionNode) | | 100% | | 75% | 1 | 3 | 0 | 9 | 0 | 1 |
| createMPISizeofDatatypeCall(NodeFactory, ExpressionNode) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| getPointerReferredTypeNode(NodeFactory, ExpressionNode) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| identifierExpression(NodeFactory, String, Source) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| size_t(NodeFactory, Source) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |