| substituteTypeSequence(SymbolicTypeSequence, ExpressionSubstituter.SubstituterState) |   | 34% | | 37% | 3 | 5 | 8 | 15 | 0 | 1 |
| substituteCompoundType(SymbolicType, ExpressionSubstituter.SubstituterState) | | 77% | | 63% | 8 | 14 | 6 | 36 | 0 | 1 |
| substituteObject(SymbolicObject, ExpressionSubstituter.SubstituterState) | | 54% | | 50% | 3 | 6 | 3 | 7 | 0 | 1 |
| substituteNonquantifiedExpression(SymbolicExpression, ExpressionSubstituter.SubstituterState) | | 93% | | 95% | 1 | 13 | 2 | 30 | 0 | 1 |
| substituteQuantifiedExpression(SymbolicExpression, ExpressionSubstituter.SubstituterState) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| substituteSequence(SymbolicSequence, ExpressionSubstituter.SubstituterState) | | 97% | | 91% | 1 | 7 | 1 | 20 | 0 | 1 |
| substituteExpression(SymbolicExpression, ExpressionSubstituter.SubstituterState) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| substituteType(SymbolicType, ExpressionSubstituter.SubstituterState) | | 100% | | 100% | 0 | 4 | 0 | 9 | 0 | 1 |
| ExpressionSubstituter(PreUniverse, ObjectFactory, SymbolicTypeFactory) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| isQuantified(SymbolicExpression) | | 100% | | 100% | 0 | 4 | 0 | 2 | 0 | 1 |
| apply(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |