| symExpression(SymbolicExpressionIF, ReferenceValue) |   | 37% | | 25% | 10 | 11 | 51 | 74 | 0 | 1 |
| variableReferenceValue(SymbolicExpressionIF, SymbolicExpressionIF) | | 6% | | 6% | 8 | 9 | 34 | 37 | 0 | 1 |
| referenceValue(SymbolicExpressionIF, SymbolicExpressionIF) | | 16% | | 17% | 6 | 7 | 21 | 26 | 0 | 1 |
| symExpression(SymbolicExpressionIF, VectorValue) | | 0% | | 0% | 2 | 2 | 15 | 15 | 1 | 1 |
| computeReachable(ValueIF, Collection, Set) | | 56% | | 58% | 9 | 19 | 12 | 40 | 0 | 1 |
| symbolicValue(SymbolicExpressionIF, SymbolicExpressionIF, ValueTypeIF) | | 55% | | 40% | 9 | 11 | 8 | 24 | 0 | 1 |
| symExpression(SymbolicExpressionIF, RecordValue) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| printValues(PrintWriter) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| symExpression(SymbolicExpressionIF, ValueIF) | | 58% | | 60% | 3 | 6 | 4 | 14 | 0 | 1 |
| computeReachableTree(TreeExpressionIF, Set) | | 41% | | 50% | 2 | 3 | 5 | 10 | 0 | 1 |
| mutable(VectorValueIF) | | 37% | | 25% | 2 | 3 | 4 | 8 | 0 | 1 |
| value(SymbolicExpressionIF, SymbolicExpressionIF, ValueTypeIF) | | 73% | | 79% | 3 | 8 | 2 | 12 | 0 | 1 |
| vectorElementReferenceValue(ReferenceValueIF, int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| elementType(SymbolicExpressionIF, ArrayValueTypeIF, ValueIF) | | 41% | | 50% | 1 | 2 | 3 | 7 | 0 | 1 |
| removeElementAt(VectorValueIF, int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| intValue(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setSize(VectorValueIF, int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| vectorElementReferenceValue(ReferenceValueIF, int, ReferenceValueTypeIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| isNullReference(SymbolicExpressionIF, SymbolicExpressionIF) | | 67% | | 25% | 2 | 3 | 0 | 2 | 0 | 1 |
| setArrayElement(ArrayValue, int, ValueIF) | | 89% | | 75% | 1 | 3 | 1 | 9 | 0 | 1 |
| readIntField(SymbolicExpressionIF, SymbolicExpressionIF, int) | | 80% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| typeFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| arrayLambda(ValueIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambdaValue() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ValueFactory(ValueTypeFactory, CellFactory, SymbolicUniverseIF, SymbolicSimplifierFactoryIF) | | 100% | | n/a | 0 | 1 | 0 | 18 | 0 | 1 |
| arrayRead(SymbolicExpressionIF, ArrayValueIF, ValueIF) | | 100% | | 100% | 0 | 4 | 0 | 13 | 0 | 1 |
| setRecordElement(RecordValueIF, int, ValueIF) | | 100% | | 100% | 0 | 4 | 0 | 12 | 0 | 1 |
| symExpression(SymbolicExpressionIF, ArrayValue) | | 100% | | 88% | 1 | 5 | 0 | 16 | 0 | 1 |
| recordValue(SymbolicExpressionIF, SymbolicExpressionIF, RecordValueTypeIF) | | 100% | | 75% | 1 | 3 | 0 | 12 | 0 | 1 |
| numericValue(SymbolicExpressionIF, ValueIF) | | 100% | | 83% | 1 | 4 | 0 | 11 | 0 | 1 |
| characterValue(SymbolicExpressionIF) | | 100% | | 50% | 1 | 2 | 0 | 6 | 0 | 1 |
| arrayReadSymbolic(SymbolicExpressionIF, ArrayValueIF, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| undefinedValue(ValueTypeIF) | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| arrayElementReferenceValue(SymbolicExpressionIF, ReferenceValueIF, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| recordElementReferenceValue(ReferenceValueIF, int) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| arrayValue(SymbolicExpressionIF, ArrayValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| reachableVariableReferences(ValueIF, Collection) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| setExtend(VectorValueIF, int, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| add(VectorValueIF, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| arrayElementReferenceValue(ReferenceValueIF, ValueIF, ReferenceValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| arrayValue(SymbolicExpressionIF, MorphicVector, ArrayValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| recordElementReferenceValue(ReferenceValueIF, int, ReferenceValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| variableReferenceValue(CellIF, ReferenceValueTypeIF, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| computeReachable(SymbolicExpressionIF, Set) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| recordValue(ValueIF[], RecordValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| vectorValue(MorphicVector, VectorValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| vectorValue(int, VectorValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arrayElementReferenceValue(ReferenceValueIF, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| canonicalizeChildren(ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nullReferenceValue(ReferenceValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| symbolicValue(SymbolicExpressionIF, ValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| value(SymbolicExpressionIF, ValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symExpression(ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| emptyVector(VectorValueTypeIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symTrue() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| treeUniverse() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| universe() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| valueVectorFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |