| createAllocation(ASTFactory, FunctionContractBlock.ContractClause, ExpressionNode, TypeNode, ExpressionNode, Source, ClauseTransformGuideGenerator.ClauseTransformGuide) |  | 0% | | 0% | 2 | 2 | 17 | 17 | 1 | 1 |
| transformAcslValid(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 0% | | 0% | 6 | 6 | 16 | 16 | 1 | 1 |
| processAcslValidWorker(NodeFactory, OperatorNode) | | 0% | | 0% | 4 | 4 | 19 | 19 | 1 | 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 |
| transformAcslResult(FunctionContractBlock.ContractClause, ASTFactory, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| createAssumption(NodeFactory, ExpressionNode) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| transformAssume(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| getPointerReferredTypeNode(NodeFactory, ExpressionNode) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| transformAssert(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| identifierExpression(NodeFactory, String, Source) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ClauseTransformGuideGenerator() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |