| condition4ErrorChecking(ExpressionNode) |  | 0% | | 0% | 20 | 20 | 84 | 84 | 1 | 1 |
| combineASTs(AST, AST) | | 0% | | 0% | 7 | 7 | 22 | 22 | 1 | 1 |
| typeNode(Source, Type, NodeFactory) |  | 39% | | 30% | 8 | 12 | 18 | 29 | 0 | 1 |
| basicType(StandardBasicType.BasicTypeKind) | | 38% | | 16% | 15 | 18 | 27 | 37 | 0 | 1 |
| nullPointer() | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| booleanConstant(boolean) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| releaseNodes(List) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| isUnsignedIntegerType(Type) | | 48% | | 33% | 3 | 4 | 4 | 7 | 0 | 1 |
| newUniqueIdentifier(String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newUniqueIdentifierPrefix() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| reduceDuplicateNode(ASTNode, NodePredicate) | | 86% | | 77% | 3 | 10 | 1 | 22 | 0 | 1 |
| parseSystemLibrary(File, Map) | | 82% | | n/a | 0 | 1 | 2 | 11 | 0 | 1 |
| typeNode(Source, Type) | | 42% | | n/a | 0 | 1 | 2 | 3 | 0 | 1 |
| isEmptyCompoundStatementNode(CompoundStatementNode) | | 80% | | 60% | 4 | 6 | 4 | 10 | 0 | 1 |
| getIntValue(IntegerConstantNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isRelatedAssumptionNode(BlockItemNode, List) | | 95% | | 83% | 3 | 10 | 2 | 25 | 0 | 1 |
| getVeryLastItemNodeOfCompoundStatement(CompoundStatementNode) | | 86% | | 66% | 2 | 4 | 1 | 8 | 0 | 1 |
| transformMainCall(ASTNode) | | 93% | | 80% | 2 | 6 | 1 | 14 | 0 | 1 |
| refersInputVariable(ASTNode) | | 95% | | 80% | 2 | 6 | 2 | 15 | 0 | 1 |
| nonNullChildBefore(ASTNode, int) | | 91% | | 66% | 2 | 4 | 0 | 6 | 0 | 1 |
| is_callee_name_equals(FunctionCallNode, String) | | 89% | | 50% | 2 | 3 | 1 | 7 | 0 | 1 |
| isVoidType(Type) | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| elaborateExpression(ExpressionNode) | | 100% | | n/a | 0 | 1 | 0 | 16 | 0 | 1 |
| createNewMainFunction(SequenceNode) | | 100% | | n/a | 0 | 1 | 0 | 17 | 0 | 1 |
| normalizeCompoundStatementNodes(ASTNode) | | 100% | | 87% | 2 | 9 | 0 | 20 | 0 | 1 |
| completeSources(ASTNode) | | 100% | | 93% | 1 | 9 | 0 | 28 | 0 | 1 |
| assumeFunctionDeclaration(Source) | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| insertToCompoundStatement(CompoundStatementNode, BlockItemNode, int) | | 100% | | 100% | 0 | 4 | 0 | 11 | 0 | 1 |
| stringLiteral(String) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| transformMainFunction(SequenceNode) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| hasHeader(AST, String) | | 100% | | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| nextRealNode(ASTNode) | | 100% | | 90% | 1 | 6 | 0 | 13 | 0 | 1 |
| has_gen_mainFunction(SequenceNode) | | 100% | | 100% | 0 | 5 | 0 | 8 | 0 | 1 |
| nextDFSSkip(ASTNode) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| newSource(String, int) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| BaseWorker(String, ASTFactory) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| assumeNode(ExpressionNode) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| isLeaf(ASTNode) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| identifierExpression(String) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| variableDeclaration(String, TypeNode, ExpressionNode) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| variableDeclaration(String, TypeNode) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| functionCall(Source, String, List) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| typeNode(Type) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| integerConstant(int) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| transform(AST) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| identifier(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| identifierExpression(Source, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| hereNode() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| voidType() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |