| castToReal(NumericConcreteExpressionIF) |   | 86% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| ConcreteFactory(SymbolicTypeFactory, NumberFactoryIF) | | 100% | | n/a | 0 | 1 | 0 | 14 | 0 | 1 |
| concrete(NumberIF) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| mod(NumericConcreteExpressionIF, NumericConcreteExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| concrete(IntegerNumberIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| concrete(RationalNumberIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| add(NumericConcreteExpressionIF, NumericConcreteExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| subtract(NumericConcreteExpressionIF, NumericConcreteExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| multiply(NumericConcreteExpressionIF, NumericConcreteExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| divide(NumericConcreteExpressionIF, NumericConcreteExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| concrete(boolean) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| abs(NumericConcreteExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| negate(NumericConcreteExpressionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| concrete(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numberFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| typeFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| zeroIntExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| oneIntExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| zeroRealExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| oneRealExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |