| preProcessArrayLambda(SymbolicExpression) |  | 0% | | 0% | 7 | 7 | 27 | 27 | 1 | 1 |
| visitExpression(SymbolicExpression) | | 0% | | 0% | 8 | 8 | 21 | 21 | 1 | 1 |
| arrayLambda2Axiom(SymbolicExpression, SymbolicExpression) | | 0% | | 0% | 8 | 8 | 18 | 18 | 1 | 1 |
| arrayLambdaAxiom2BooleanExpression(StatefulArrayLambdaExtraction.ArrayLambdaAxiom) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| StatefulArrayLambdaExtraction(SymbolicUniverse) | | 0% | | n/a | 1 | 1 | 10 | 10 | 1 | 1 |
| symbolicConstants(int) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| getIndependentArrayLambdaAxioms() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| inRange(NumericSymbolicConstant, NumericExpression, NumericExpression) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| apply(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |