| createAllocation(ASTFactory, FunctionContractBlock.ContractClause, ExpressionNode, TypeNode, ExpressionNode, Source, ClauseTransformGuideGenerator.ClauseTransformGuide) |  | 0% | | 0% | 2 | 2 | 17 | 17 | 1 | 1 |
| processAcslValidWorker(NodeFactory, OperatorNode) | | 0% | | 0% | 4 | 4 | 19 | 19 | 1 | 1 |
| transformAcslValid(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) |  | 17% | | 20% | 5 | 6 | 12 | 16 | 0 | 1 |
| conjunct(ASTFactory, List) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| decomposeRange(NodeFactory, RegularRangeNode) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| arrayExtentsGTZero(NodeFactory, TypeNode, Source) | | 0% | | 0% | 3 | 3 | 10 | 10 | 1 | 1 |
| processAcslValid(NodeFactory, OperatorNode) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| createAssumption(NodeFactory, ExpressionNode) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| getPointerReferredTypeNode(NodeFactory, ExpressionNode) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| ClauseTransformGuideGenerator() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| transformAcslResult(FunctionContractBlock.ContractClause, ASTFactory, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| transformAssume(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| transformAssert(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| identifierExpression(NodeFactory, String, Source) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |