| processGroupCandidate(List, int) |   | 86% | | 63% | 10 | 16 | 14 | 63 | 0 | 1 |
| newLow(NumericExpression, NumericExpression, NumericExpression) | | 74% | | 12% | 4 | 5 | 7 | 18 | 0 | 1 |
| newHigh(NumericExpression, NumericExpression, NumericExpression) | | 87% | | 25% | 4 | 5 | 5 | 18 | 0 | 1 |
| apply(SymbolicExpression) | | 90% | | 75% | 4 | 9 | 1 | 25 | 0 | 1 |
| extractGroup(StepRestrictedForallStructureCollection.StepRestrictedForall[]) | | 98% | | 72% | 5 | 10 | 0 | 21 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| visitExpression(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| updateBounds(StepRestrictedForallStructureCollection.StepRestrictedForall) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| SteppedUniversalCombination(SymbolicUniverse) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |