| compositeTypeNode(String, ArrayList, boolean) |  | 0% |  | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| noopNode(SequenceNodeIF) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| switchStatementNode(ExpressionNodeIF, SequenceNodeIF, LabelReferenceNodeIF, StatementNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| bindingExpressionNode(BindingExpressionNodeIF.Quantifier, BoundVariableDeclarationNodeIF, PureExpressionNodeIF, PureExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| operatorNode(OperatorNodeIF.AST_OPERATOR, ExpressionNodeIF, ExpressionNodeIF, ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| compositeTypeNode(IdentifierNodeIF, SequenceNodeIF, boolean) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| boundVariableDeclarationNode(IdentifierNodeIF, TypeNodeIF, BindingExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| formalVariableDeclarationNode(IdentifierNodeIF, TypeNodeIF, FunctionDeclarationNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ifThenElseStatementNode(ExpressionNodeIF, StatementNodeIF, StatementNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| characterLiteralNode(IdentifierNodeIF, TypeNodeIF, char) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| enumElementReferenceNode(IdentifierNodeIF, TypeNodeIF, PairNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| realLiteralNode(IdentifierNodeIF, TypeNodeIF, RationalNumberIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| fileNode(File, boolean, String) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| labelNode(IdentifierNodeIF, StatementNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| referenceNode(ASTNodeIF, IdentifierNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| typeDefinitionNode(IdentifierNodeIF, TypeNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| functionTypeNode(SequenceNodeIF, TypeNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| typeReferenceNode(TypeDefinitionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| globalVariableDeclarationNode(IdentifierNodeIF, TypeNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| breakNode(StatementNodeIF, LoopNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| doUntilNode(StatementNodeIF, ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| whileLoopNode(StatementNodeIF, ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| castNode(TypeNodeIF, ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| functionApplicationNode(ExpressionNodeIF, SequenceNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| vectorTypeNode(TypeNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| enumerationTypeNode(SequenceNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| pointerTypeNode(TypeNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| continueNode(LoopNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| gotoNode(LabelReferenceNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| returnNodeIF(ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| arrayInitializerNode(SequenceNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| dereferenceNode(ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expressionStatement(ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| formalVariableDeclarationNode(IdentifierNodeIF, TypeNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| labelNode(IdentifierNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| functionReferenceNode() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} |   | 75% |   | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| labelReferenceNode(ASTNodeIF, IdentifierNodeIF, LabelNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| operatorNode(OperatorNodeIF.AST_OPERATOR, ExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| operatorNode(OperatorNodeIF.AST_OPERATOR, ExpressionNodeIF[]) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| processReferenceNode(ExpressionNodeIF, VariableReferenceNodeIF, FunctionReferenceNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| sizeOfNode(SizeableNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| startOfNode(PureExpressionNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| structInitializerNode(SequenceNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| loader() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| pairNode(Class, Class) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| fieldReferenceNode(LHSExpressionNodeIF, IdentifierNodeIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| incrementNode(LHSExpressionNodeIF, boolean, boolean) |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| abstractFunctionDeclarationNode(IdentifierNodeIF, TypeNodeIF, SequenceNodeIF, int, int) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| functionDeclarationNode(IdentifierNodeIF, TypeNodeIF, SequenceNodeIF, BlockNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| forLoopNode(StatementNodeIF, StatementNodeIF, ExpressionNodeIF, StatementNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| localVariableDeclarationNode(IdentifierNodeIF, TypeNodeIF, BlockNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerLiteralNode(IdentifierNodeIF, TypeNodeIF, IntegerNumberIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| operatorNode(OperatorNodeIF.AST_OPERATOR, ExpressionNodeIF, ExpressionNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| stringLiteralNode(IdentifierNodeIF, TypeNodeIF, String) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| rootNode(FunctionDeclarationNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerTypeNode() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arrayTypeNode(TypeNodeIF, ExpressionNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| blockNode(SequenceNodeIF, SequenceNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| assignmentNode(LHSExpressionNodeIF, ExpressionNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| functionInvocationNode(ExpressionNodeIF, SequenceNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerLiteralNode(IdentifierNodeIF, TypeNodeIF, Integer) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| subscriptNode(ExpressionNodeIF, ExpressionNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| variableReferenceNode(VariableDeclarationNodeIF, IdentifierNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| ASTFactory() |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| identifierNode(String) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| realTypeNode() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arrayTypeNode(TypeNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| assertStatementNode(ExpressionNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| assumeStatementNode(ExpressionNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| pragmaNode(StringLiteralNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| functionReferenceNode(FunctionDeclarationNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanTypeNode() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| characterTypeNode() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| voidTypeNode() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sequenceNode(Class) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| localVariableDeclarationNode(IdentifierNodeIF, TypeNodeIF) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| variableReferenceNode() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |