| checkScope(VariableIF, ScopeIF, ExpressionIF) |   | 20% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| join(ScopeIF, ScopeIF) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| recordNavigationExpression(LHSExpressionIF, String) | | 59% | | 67% | 2 | 4 | 1 | 10 | 0 | 1 |
| namedArrayLiteralExpression(ArrayTypeIF, LiteralExpressionIF[], String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| namedRecordLiteralExpression(RecordTypeIF, LiteralExpressionIF[], String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| arrayType(TypeIF, int) | | 44% | | 50% | 2 | 3 | 2 | 6 | 0 | 1 |
| libraryName(int) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| newFormalVariable(AbstractFunctionIF, TypeIF, String, int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| addExpression(ExpressionIF, ExpressionIF) | | 69% | | 75% | 2 | 5 | 2 | 7 | 0 | 1 |
| lessThanOrEqualsExpression(ExpressionIF, ExpressionIF) | | 69% | | 75% | 2 | 5 | 2 | 7 | 0 | 1 |
| nullExpression() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| namedBooleanLiteralExpression(boolean, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| namedCharacterLiteralExpression(char, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| namedIntegerLiteralExpression(int, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| namedLiteralExpression(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| libraryId(String) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| arrayLambdaExpression(ExpressionIF, ExpressionIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| divideExpression(ExpressionIF, ExpressionIF) | | 83% | | 88% | 1 | 5 | 1 | 7 | 0 | 1 |
| equalsExpression(ExpressionIF, ExpressionIF) | | 83% | | 88% | 1 | 5 | 1 | 7 | 0 | 1 |
| subtractExpression(ExpressionIF, ExpressionIF) | | 83% | | 88% | 1 | 5 | 1 | 7 | 0 | 1 |
| existsExpression(BoundVariableIF, ExpressionIF, ExpressionIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| functionExpression(AbstractFunctionIF, ExpressionIF[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambdaExpression(BoundVariableIF, ExpressionIF, ExpressionIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lengthExpression(ExpressionIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ModelFactory(RunConfiguration) | | 90% | | n/a | 0 | 1 | 2 | 16 | 0 | 1 |
| functionType(TypeIF[], TypeIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getModel(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getRecordType(String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| type(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| vectorType(TypeIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numLibraries() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numModels() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numTypes() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setModelTransformerLoader(ModelTransformerLoaderIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| configuration() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| modelTransformerLoader() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isDescendantOf(ScopeIF, ScopeIF) | | 86% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| boundExpression(BoundExpressionIF.Quantifier, BoundVariableIF, ExpressionIF, ExpressionIF) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| lessThanExpression(ExpressionIF, ExpressionIF) | | 100% | | 100% | 0 | 5 | 0 | 7 | 0 | 1 |
| multiplyExpression(ExpressionIF, ExpressionIF) | | 100% | | 100% | 0 | 5 | 0 | 7 | 0 | 1 |
| registerSystemFunction(String, SystemFunctionIF) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| newBoundVariable(String, TypeIF, BoundScopeIF) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| arrayLiteralExpression(ArrayTypeIF, ExpressionIF[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| recordLiteralExpression(RecordTypeIF, ExpressionIF[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newModel(String, int) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| checkScope(ExpressionIF, ScopeIF) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| namedIntegerLiteralExpression(String, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| namedRealLiteralExpression(String, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerLiteralExpression(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| namedNullExpression(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| realLiteralExpression(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newAbstractFunction(String, TypeIF, int) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| booleanLiteralExpression(boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| characterLiteralExpression(char) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerLiteralExpression(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| literalExpression(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| notEmptyExpression(ModelIF, ExpressionIF, ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| notFullExpression(ModelIF, ExpressionIF, ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| andExpression(ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| moduloExpression(ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| orExpression(ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| pointerAddExpression(ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| castExpression(TypeIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| evaluatedFunctionExpression(AbstractFunctionIF, ExpressionIF[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| ifThenElseExpression(ExpressionIF, ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| processReferenceExpression(ModelIF, ExpressionIF, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| recordType(String, String[], TypeIF[], ExpressionIF[][]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sizeOfExpression(TypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| subscriptExpression(LHSExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dereferenceExpression(ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| forallExpression(BoundVariableIF, ExpressionIF, ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| negativeExpression(ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| notExpression(ExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| recordNavigationExpression(LHSExpressionIF, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| variableExpression(VariableIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| addressOfExpression(LHSExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| anyExpression(LHSExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isInScope(VariableIF, ScopeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setBaseType(PointerTypeIF, TypeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arrayType(TypeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newBoundScope(ScopeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| pointerType(TypeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| characterType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newPointerType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| rationalType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| voidType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numberFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sizeofAbstractFunction() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| systemScope() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |