| widenToRange(Reasoner, NumericExpression, SymbolicConstant, NumericExpression, NumericExpression) |  | 0% | | 0% | 30 | 30 | 76 | 76 | 1 | 1 |
| protectiveWidening(Reasoner, SymbolicType, ValueSetReference[], ValueSetReference[]) | | 0% | | 0% | 18 | 18 | 62 | 62 | 1 | 1 |
| valueSetDiff(SymbolicType, ValueSetReference[], ValueSetReference[]) | | 0% | | 0% | 7 | 7 | 33 | 33 | 1 | 1 |
| elimWidening(Reasoner, SymbolicType, ValueSetReference, SymbolicConstant, NumericExpression, NumericExpression) | | 0% | | 0% | 7 | 7 | 25 | 25 | 1 | 1 |
| valueSetProtectiveWidening(Reasoner, SymbolicType, ValueSetReference[], ValueSetReference[]) | | 0% | | 0% | 3 | 3 | 18 | 18 | 1 | 1 |
| valueSetReference(SymbolicExpression.SymbolicOperator, SymbolicObject[]) |  | 32% | | 35% | 7 | 8 | 13 | 21 | 0 | 1 |
| getDomain(SymbolicType, ValueSetReference) | | 0% | | 0% | 6 | 6 | 18 | 18 | 1 | 1 |
| valueSetElimWidening(Reasoner, SymbolicType, ValueSetReference[], SymbolicExpression, NumericExpression, NumericExpression) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| multiplyInterval(Pair, Pair) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| combine(Reasoner, ValueSetReference, ValueSetReference) | | 83% | | 69% | 11 | 24 | 5 | 47 | 0 | 1 |
| getDomain(SymbolicType, List) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| extendWorker(ValueSetReference[], SymbolicType, int) | | 89% | | 72% | 5 | 14 | 5 | 38 | 0 | 1 |
| vsOffsetReference(ValueSetReference, NumericExpression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| sameConcreteStructure(ValueSetReference, ValueSetReference, boolean) | | 71% | | 57% | 6 | 12 | 6 | 18 | 0 | 1 |
| valueSetReference(ValueSetReference, VSReferenceFactory.VSRefComp) | | 77% | | 57% | 3 | 6 | 3 | 11 | 0 | 1 |
| valueSetNoIntersect(SymbolicType, ValueSetReference, ValueSetReference) | | 90% | | 75% | 3 | 7 | 1 | 17 | 0 | 1 |
| vsRefComp(SymbolicType, ValueSetReference) | | 83% | | 66% | 2 | 6 | 2 | 12 | 0 | 1 |
| contains(List, List) | | 95% | | 75% | 5 | 11 | 1 | 41 | 0 | 1 |
| referredTypeFromParent(SymbolicType, ValueSetReference) | | 78% | | 57% | 3 | 6 | 2 | 10 | 0 | 1 |
| diffConcreteStructureKind(ValueSetReference, ValueSetReference, boolean) | | 85% | | 60% | 8 | 11 | 1 | 12 | 0 | 1 |
| defaultWideningWorker(SymbolicType, ValueSetReference, ValueSetReference) | | 96% | | 81% | 3 | 9 | 1 | 34 | 0 | 1 |
| replaceArraySections(List, ValueSetReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| vsRefComp(SymbolicType, ValueSetReference.VSReferenceKind, SymbolicRange) | | 76% | | 75% | 1 | 3 | 0 | 2 | 0 | 1 |
| deleteSubReferences(ValueSetReference[]) | | 96% | | 94% | 1 | 10 | 0 | 25 | 0 | 1 |
| disjoint(List, List) | | 92% | | 66% | 2 | 4 | 0 | 7 | 0 | 1 |
| valueSetContains(SymbolicType, ValueSetReference[], ValueSetReference[]) | | 96% | | 75% | 1 | 3 | 1 | 14 | 0 | 1 |
| simplifyGroup(Reasoner, ValueSetReference[]) | | 97% | | 88% | 2 | 10 | 0 | 24 | 0 | 1 |
| replaceArraySectionsWorker(Stream, ValueSetReference) | | 96% | | 83% | 2 | 7 | 0 | 13 | 0 | 1 |
| VSReferenceFactory(NumericExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 22 | 0 | 1 |
| toMaxDepth(SymbolicType, ValueSetReference[][]) | | 100% | | 100% | 0 | 6 | 0 | 20 | 0 | 1 |
| simplify(Reasoner, SymbolicType, ValueSetReference[]) | | 100% | | 100% | 0 | 3 | 0 | 13 | 0 | 1 |
| valueSetWidening(Reasoner, SymbolicType, ValueSetReference[]) | | 100% | | 100% | 0 | 3 | 0 | 10 | 0 | 1 |
| getSameConcreteStructureAs(ValueSetReference[], ValueSetReference, boolean) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| grouping(ValueSetReference[]) | | 100% | | 100% | 0 | 2 | 0 | 12 | 0 | 1 |
| vsTupleComponentReference(ValueSetReference, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| vsUnionMemberReference(ValueSetReference, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| getDomain(List) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| getDomain(ValueSetReference, Integer) | | 100% | | 100% | 0 | 4 | 0 | 6 | 0 | 1 |
| defaultWidening(SymbolicType, ValueSetReference[]) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| vsArraySectionReference(ValueSetReference, NumericExpression, NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| makeSequence(ValueSetReference, SymbolicExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| vsArrayElementReference(ValueSetReference, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| symbolicConstant(StringObject, SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| referredType(SymbolicType, ValueSetReference) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| normalize(SymbolicType, ValueSetReference[]) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| depth(ValueSetReference) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| replaceWithArraySection(int, SymbolicRange, ValueSetReference) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| toMaxDepth(ValueSetReference[], SymbolicType) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| extend(ValueSetReference, SymbolicType, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| domainKind(ValueSetReference.VSReferenceKind) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| lambda$replaceWithArraySection$1(int, SymbolicRange, Integer) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| vsRefComp(ValueSetReference.VSReferenceKind, SymbolicRange) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$replaceWithArraySection$0(Integer) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| vsRefComp(ValueSetReference) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| valueSetReferenceType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| vsIdentityReference() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |