| equivalentStepEquationTransformation(NumericSymbolicConstant, NumericExpression, Number, NumericExpression, CoreUniverse.ForallStructure, BooleanExpression, BooleanExpression) |  | 0% | | 0% | 2 | 2 | 19 | 19 | 1 | 1 |
| transformIfStepIsTwo(BooleanExpression) |  | 59% | | 43% | 7 | 9 | 9 | 25 | 0 | 1 |
| patternMatched(CoreUniverse.ForallStructure, BooleanExpression, BooleanExpression, NumericSymbolicConstant, BooleanExpression) | | 79% | | 50% | 7 | 8 | 6 | 23 | 0 | 1 |
| filterForallStructuresSatisfyStepRestriction(List) | | 84% | | 86% | 3 | 12 | 2 | 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 |