| assertCompatibility(EnvironmentIF, ValueTypeIF, ValueTypeIF, Sourceable) |   | 3% | | 6% | 8 | 9 | 33 | 35 | 0 | 1 |
| executeReceiveStatement(EnvironmentIF, ReceiveStatementIF) | | 50% | | 69% | 5 | 9 | 19 | 51 | 0 | 1 |
| writeToRecvBuffer(EnvironmentIF, ReferenceValueIF, ValueIF, Sourceable) | | 68% | | 74% | 10 | 20 | 13 | 56 | 0 | 1 |
| executeAllocate(EnvironmentIF, AllocateStatementIF) | | 59% | | 25% | 2 | 3 | 17 | 40 | 0 | 1 |
| assignValue(EnvironmentIF, ReferenceValueIF, ValueIF, Sourceable) | | 66% | | 75% | 3 | 7 | 14 | 47 | 0 | 1 |
| executeAssertion(EnvironmentIF, AssertionStatementIF) | | 34% | | 75% | 1 | 3 | 13 | 25 | 0 | 1 |
| executeSendStatement(EnvironmentIF, SendStatementIF) | | 51% | | 50% | 3 | 4 | 9 | 25 | 0 | 1 |
| initialize(EnvironmentIF, ModelIF, ValueIF, Map, boolean, boolean) | | 69% | | 86% | 2 | 8 | 12 | 37 | 0 | 1 |
| executeReturnStatement(EnvironmentIF, ReturnStatementIF) | | 58% | | 86% | 2 | 8 | 11 | 35 | 0 | 1 |
| theSymbolicConstant(ReferenceValueIF) | | 41% | | 25% | 2 | 3 | 5 | 10 | 0 | 1 |
| setTargetLocation(EnvironmentIF, StatementIF) | | 53% | | 25% | 2 | 3 | 3 | 11 | 0 | 1 |
| wrapUpLibraries(ReturnStatementIF, EnvironmentIF) | | 64% | | 75% | 1 | 3 | 1 | 9 | 0 | 1 |
| initialValue(EnvironmentIF, ReferenceValueIF, boolean) | | 88% | | 93% | 1 | 8 | 1 | 25 | 0 | 1 |
| execute(EnvironmentIF, StatementIF) | | 80% | | 90% | 1 | 10 | 2 | 23 | 0 | 1 |
| executeSystemFunctionCall(SystemFunctionIF, EnvironmentIF, InvocationStatementIF) | | 79% | | 83% | 1 | 4 | 1 | 13 | 0 | 1 |
| initializeVariable(EnvironmentIF, VariableIF, Map, boolean, boolean) | | 89% | | 93% | 2 | 15 | 5 | 32 | 0 | 1 |
| executeInvocation(EnvironmentIF, ProcessIF, FunctionIF, ExpressionIF[]) | | 90% | | 78% | 4 | 10 | 3 | 23 | 0 | 1 |
| executeAssignment(EnvironmentIF, AssignmentStatementIF) | | 57% | | n/a | 0 | 1 | 3 | 7 | 0 | 1 |
| executeAssume(EnvironmentIF, AssumeStatementIF) | | 52% | | n/a | 0 | 1 | 3 | 7 | 0 | 1 |
| Executor(LibraryExecutorLoaderIF, DynamicFactoryIF, int, LogIF) | | 81% | | 50% | 6 | 7 | 0 | 14 | 0 | 1 |
| initialize(EnvironmentIF, ModelIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| executeInvocation(EnvironmentIF, InvocationStatementIF) | | 70% | | 100% | 0 | 2 | 3 | 9 | 0 | 1 |
| assignValue(EnvironmentIF, LHSExpressionIF, ValueIF) | | 61% | | n/a | 0 | 1 | 3 | 7 | 0 | 1 |
| executeNoopStatement(EnvironmentIF, NoopStatementIF) | | 40% | | n/a | 0 | 1 | 3 | 6 | 0 | 1 |
| computeInitialIndex(Map) | | 94% | | 88% | 1 | 5 | 2 | 14 | 0 | 1 |
| log() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| libraryExecutorLoader() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| evaluator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |