| forkStatement(Location, Expression, Vector) |  | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| chooseStatement(Location, Expression, Expression) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| assumeStatement(Location, Expression) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| structField(Identifier, Type) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| structType(List) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| resultExpression() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| selfExpression() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| booleanLiteralExpression(boolean) |  | 62% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| booleanType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| stringType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| CommonModelFactory() | | 100% | | n/a | 0 | 1 | 0 | 14 | 0 | 1 |
| join(Scope, Scope) | | 100% | | 100% | 0 | 5 | 0 | 14 | 0 | 1 |
| forkStatement(Location, Expression, Expression, Vector) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| callStatement(Location, Function, Vector) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| scope(Scope, Set, Function) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| conditionalExpression(Expression, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| identifier(String) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| binaryExpression(BinaryExpression.BINARY_OPERATOR, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| assignStatement(Location, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| arrayIndexExpression(Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| variableExpression(Variable) | | 100% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| returnStatement(Location, Expression) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| systemFunction(Identifier) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| location(Scope) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| unaryExpression(UnaryExpression.UNARY_OPERATOR, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| castExpression(Type, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| assertStatement(Location, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| joinStatement(Location, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| function(Identifier, Vector, Type, Scope, Location) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| variable(Type, Identifier, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| model(Function) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arrayType(Type) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| pointerType(Type) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerLiteralExpression(BigInteger) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| realLiteralExpression(BigDecimal) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| stringLiteralExpression(String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| noopStatement(Location) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| realType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| processType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| heapType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |