| equivalentStepEquationTransformation(NumericSymbolicConstant, NumericExpression, Number, NumericExpression, CoreUniverse.ForallStructure, BooleanExpression, BooleanExpression) |  | 0% | | 0% | 2 | 2 | 19 | 19 | 1 | 1 |
| patternMatched(CoreUniverse.ForallStructure, BooleanExpression, BooleanExpression, NumericSymbolicConstant, BooleanExpression) | | 0% | | 0% | 8 | 8 | 23 | 23 | 1 | 1 |
| transformIfStepIsTwo(BooleanExpression) |  | 35% | | 25% | 8 | 9 | 13 | 25 | 0 | 1 |
| filterForallStructuresSatisfyStepRestriction(List) | | 68% | | 63% | 8 | 12 | 4 | 23 | 0 | 1 |
| filterForallStructures(List) | | 100% | | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| StepRestrictedForallStructureCollection(SymbolicUniverse, List) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| getStepRestrictedForalls() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |