| apply(Transform) |  | 0% | | 0% | 4 | 4 | 13 | 13 | 1 | 1 |
| SimpleSequence(Collection) | | 0% | | 0% | 3 | 3 | 12 | 12 | 1 | 1 |
| remove(int) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| toStringBuffer(boolean) | | 0% | | 0% | 4 | 4 | 12 | 12 | 1 | 1 |
| insert(int, SymbolicExpression) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| add(SymbolicExpression) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| subSequence(int, int) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| intrinsicEquals(SymbolicObject) |  | 48% | | 30% | 5 | 6 | 8 | 14 | 0 | 1 |
| toStringBufferLong() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| getFirst() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| containsSubobject(SymbolicObject) | | 86% | | 66% | 2 | 4 | 2 | 6 | 0 | 1 |
| containsQuantifier() | | 95% | | 80% | 2 | 6 | 0 | 8 | 0 | 1 |
| SimpleSequence(SymbolicExpression) | | 92% | | 50% | 1 | 2 | 0 | 7 | 0 | 1 |
| setExtend(int, SymbolicExpression, SymbolicExpression) | | 98% | | 75% | 2 | 5 | 1 | 14 | 0 | 1 |
| set(int, SymbolicExpression) | | 97% | | 75% | 1 | 3 | 1 | 10 | 0 | 1 |
| SimpleSequence(Iterable) | | 100% | | 100% | 0 | 3 | 0 | 14 | 0 | 1 |
| SimpleSequence(SymbolicExpression[]) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| treeSize() | | 100% | | 75% | 1 | 3 | 0 | 5 | 0 | 1 |
| canonizeChildren(ObjectFactory) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| computeHashCode() | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| SimpleSequence(SymbolicExpression[], int) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| SimpleSequence() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| iterator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| get(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| size() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getNumNull() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symbolicObjectKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |