| nonTrivialReferenceExpression(SymbolicExpression.SymbolicOperator, SymbolicObject, SymbolicObject) |  | 0% | | 0% | 11 | 11 | 29 | 29 | 1 | 1 |
| valueSetTemplate(SymbolicObject[]) | | 0% | | 0% | 4 | 4 | 10 | 10 | 1 | 1 |
| valueSetProtectiveWidening(Reasoner, SymbolicType, SymbolicExpression, SymbolicExpression) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| valueSetDiff(SymbolicType, SymbolicExpression, SymbolicExpression) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| referenceExpression(SymbolicExpression.SymbolicOperator, SymbolicObject[]) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| valueSetElimWidening(Reasoner, SymbolicType, SymbolicExpression, SymbolicExpression, NumericExpression, NumericExpression) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject[]) |  | 65% | | 50% | 6 | 10 | 3 | 12 | 0 | 1 |
| concreteReferenceExpression(NumericExpression) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| extractInt(NumericExpression) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| symbolicConstant(StringObject, SymbolicType) | | 77% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| vsOffsetReference(ValueSetReference, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| objectFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| comparator() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| valueSetReferenceType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| init() | | 100% | | n/a | 0 | 1 | 0 | 30 | 0 | 1 |
| valueSetTemplate(SymbolicType, ValueSetReference[]) | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| CommonExpressionFactory(NumericExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 12 | 0 | 1 |
| valueSetContains(SymbolicType, SymbolicExpression, SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| valueSetWidening(Reasoner, SymbolicType, SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| parentIndexSequence(ReferenceExpression, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| tupleComponentReference(ReferenceExpression, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| unionMemberReference(ReferenceExpression, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| arrayElementReference(ReferenceExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| offsetReference(ReferenceExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| parentIndexSequence(ReferenceExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| vsArraySectionReference(ValueSetReference, NumericExpression, NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isValueSetTemplateType(SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| valueSetRefereceNoIntersect(SymbolicType, ValueSetReference, ValueSetReference) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| vsArrayElementReference(ValueSetReference, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| vsTupleComponentReference(ValueSetReference, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| vsUnionMemberReference(ValueSetReference, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| vsIdentityReference() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numericFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nullExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| typeFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nullReference() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| identityReference() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| referenceType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| valueSetTemplateType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |