| simplify(ValueIF) |   | 77% | | 71% | 21 | 46 | 21 | 110 | 0 | 1 |
| simplify(ValueTypeIF, Map) | | 68% | | 66% | 7 | 20 | 17 | 62 | 0 | 1 |
| setOldAssumption(ValueIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| DynamicSimplifier(DynamicFactory, ValueIF, MorphicSimplifierCacheIF) | | 96% | | 75% | 2 | 5 | 0 | 18 | 0 | 1 |
| oldAssumption() | | 67% | | 50% | 2 | 3 | 0 | 2 | 0 | 1 |
| newAssumption() | | 67% | | 50% | 2 | 3 | 0 | 2 | 0 | 1 |
| dynamicFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getCache() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| simplify(ValueTypeIF) | | 94% | | 75% | 1 | 3 | 1 | 10 | 0 | 1 |
| static {...} | | 80% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| simplify(MessageIF) | | 100% | | 83% | 1 | 4 | 0 | 14 | 0 | 1 |
| DynamicSimplifier(DynamicFactory, MorphicSimplifierCacheIF, boolean) | | 100% | | 100% | 0 | 2 | 0 | 14 | 0 | 1 |
| cacheResult(Morphic, Morphic) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getCachedResult(Morphic) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| assumptionAsInterval(SymbolicConstantIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| pathConditionIsSpecial() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |