| substituteTree(ReferenceValue) |   | 49% | | 58% | 3 | 7 | 7 | 17 | 0 | 1 |
| ValueSubstituter(ValueFactory, Map) | | 100% | | 83% | 1 | 4 | 0 | 12 | 0 | 1 |
| substituteTree(ArrayValue) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| substitute(ValueIF) | | 100% | | 100% | 0 | 7 | 0 | 13 | 0 | 1 |
| substituteTree(TreeExpressionIF, Map) | | 100% | | 100% | 0 | 4 | 0 | 10 | 0 | 1 |
| valueSubstituterFromSymbolicConstantMap(ValueFactory, Map) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| substituteTree(RecordValue) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| valueSubstituterFromSymbolicConstantValue(ValueFactory, SymbolicConstantIF, ValueIF) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| substituteTree(SymbolicValue) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| valueSubstituterFromTreeMap(ValueFactory, Map) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| ValueSubstituter(ValueFactory) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| universe() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| treeUniverse() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symTrue() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| valueVectorFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |