| buildModel(AST[]) |   | 60% | | 69% | 12 | 22 | 11 | 68 | 0 | 1 |
| processConstantExpression(ScopeIF, ASTConstantExpression) | | 46% | | 50% | 12 | 17 | 20 | 44 | 0 | 1 |
| findSkewFactorInCompoundStmt(ASTCompoundStatement) | | 0% | | 0% | 8 | 8 | 18 | 18 | 1 | 1 |
| processWhileStmt(LocalScopeIF, ASTWhileStatement) | | 88% | | 79% | 6 | 20 | 7 | 80 | 0 | 1 |
| processSpecExpr(ScopeIF, ASTSpecExpression) | | 48% | | 33% | 6 | 7 | 6 | 18 | 0 | 1 |
| processStructMemberRefExpr(ScopeIF, ASTStructMemberRefExpression) | | 75% | | 83% | 3 | 10 | 3 | 36 | 0 | 1 |
| processUnaryExpr(ScopeIF, ASTUnaryExpression) | | 52% | | 50% | 4 | 7 | 6 | 17 | 0 | 1 |
| processGlobalVariables(ModelIF, List) | | 82% | | 83% | 3 | 14 | 7 | 42 | 0 | 1 |
| processInvocationStmt(LocalScopeIF, ASTInvocationStatement) | | 85% | | 73% | 6 | 12 | 4 | 52 | 0 | 1 |
| processLiteralExpr(ScopeIF, ASTLiteralExpression) | | 84% | | 86% | 4 | 15 | 4 | 39 | 0 | 1 |
| findSkewFactors() | | 71% | | 75% | 4 | 9 | 3 | 21 | 0 | 1 |
| processForStmt(LocalScopeIF, ASTForStatement) | | 88% | | 64% | 7 | 12 | 3 | 56 | 0 | 1 |
| processSelectStmt(LocalScopeIF, ASTSelectStatement) | | 79% | | 60% | 3 | 6 | 5 | 30 | 0 | 1 |
| processConditionStmt(LocalScopeIF, ASTConditionStatement) | | 87% | | 75% | 4 | 11 | 5 | 48 | 0 | 1 |
| processStatement(LocalScopeIF, ASTStatementIF) | | 91% | | 89% | 6 | 29 | 4 | 57 | 0 | 1 |
| addAbstractFunction(ASTAbstractFunctionDeclaration) | | 66% | | 75% | 1 | 3 | 1 | 12 | 0 | 1 |
| processReceiveStmt(LocalScopeIF, ASTReceiveStatement) | | 91% | | 78% | 4 | 10 | 3 | 53 | 0 | 1 |
| processBinaryExpr(ScopeIF, ASTBinaryExpression) | | 87% | | 89% | 2 | 16 | 2 | 36 | 0 | 1 |
| processQuantifier(ScopeIF, ASTQuantifierExpression) | | 82% | | 60% | 4 | 6 | 2 | 19 | 0 | 1 |
| processExpression(ScopeIF, ASTExpressionIF) | | 89% | | 96% | 1 | 14 | 1 | 27 | 0 | 1 |
| processType(ScopeIF, ASTTypeIF) | | 90% | | 95% | 1 | 11 | 1 | 29 | 0 | 1 |
| processEvaluatedFunction(ScopeIF, ASTEvaluatedFunction) | | 58% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| buildModel(AST) | | 87% | | 50% | 4 | 5 | 0 | 11 | 0 | 1 |
| processStructType(ScopeIF, ASTStructType) | | 92% | | 83% | 1 | 4 | 1 | 19 | 0 | 1 |
| processStatementList(FunctionIF, List) | | 92% | | 93% | 1 | 8 | 1 | 19 | 0 | 1 |
| processAllocateStmt(LocalScopeIF, ASTAllocateStatement) | | 91% | | 50% | 1 | 2 | 1 | 15 | 0 | 1 |
| processAssignStmt(LocalScopeIF, ASTAssignmentStatement) | | 91% | | 50% | 1 | 2 | 1 | 16 | 0 | 1 |
| setMainFunction(ModelIF) | | 89% | | 75% | 2 | 5 | 1 | 14 | 0 | 1 |
| getProcess(ScopeIF) | | 75% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| ModelBuilder(RunConfiguration) | | 95% | | 50% | 2 | 3 | 0 | 20 | 0 | 1 |
| getFunction(ScopeIF) | | 88% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| processExprStmt(LocalScopeIF, ASTExpressionStatement) | | 100% | | 83% | 1 | 4 | 0 | 18 | 0 | 1 |
| setTargetLocation(ModelIF) | | 100% | | 100% | 0 | 7 | 0 | 19 | 0 | 1 |
| processLocalVariables(LocalScopeIF, Map) | | 100% | | 100% | 0 | 5 | 0 | 17 | 0 | 1 |
| addSystemFunction(ProcessScopeIF, LibraryIF, ASTSystemFunctionDeclaration) | | 100% | | 100% | 0 | 3 | 0 | 15 | 0 | 1 |
| processAssertStmt(LocalScopeIF, ASTAssertStatement) | | 100% | | 100% | 0 | 2 | 0 | 16 | 0 | 1 |
| processSendStmt(LocalScopeIF, ASTSendStatement) | | 100% | | n/a | 0 | 1 | 0 | 14 | 0 | 1 |
| processCompoundStmt(LocalScopeIF, ASTCompoundStatement) | | 100% | | 100% | 0 | 5 | 0 | 12 | 0 | 1 |
| processReturnStmt(LocalScopeIF, ASTReturnStatement) | | 100% | | 100% | 0 | 2 | 0 | 13 | 0 | 1 |
| processAssumeStmt(LocalScopeIF, ASTAssumeStatement) | | 100% | | n/a | 0 | 1 | 0 | 12 | 0 | 1 |
| processDimensions(ScopeIF, ASTExpressionIF[]) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| processNoopStatement(LocalScopeIF, ASTStatementIF) | | 100% | | n/a | 0 | 1 | 0 | 11 | 0 | 1 |
| processFunctionHeaders(ModelIF, List) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| addFunctionHeader(ProcessScopeIF, ASTFunctionDeclaration) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| processLibraries(ModelIF, Collection) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| findDimensionInfo(ScopeIF, ASTTypeIF) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| addFunctionBody(FunctionIF, ASTFunctionDeclaration) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| processArraySubExpr(ScopeIF, ASTArraySubscriptExpression) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| processAST(ModelIF, AST) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| evaluatedFunction(ScopeIF, AbstractFunctionIF, List) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| processIfThenElseExpr(ScopeIF, ASTIfThenElseExpression) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| processFormalParameter(FunctionIF, ASTDeclarationIF) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| processFunctionBodies() | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| processVariableExpr(ScopeIF, ASTVariableExpression) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| processTypeCast(ScopeIF, ASTTypeCast) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| processSizeofExpr(ScopeIF, ASTSizeofExpression) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| processAbstractFunctions(List) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| processFunctionBody(FunctionIF, ASTFunction) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| processArrayType(ScopeIF, ASTArrayType) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |