| preProcessArrayLambda(SymbolicExpression) |  | 0% | | 0% | 7 | 7 | 27 | 27 | 1 | 1 |
| arrayLambda2Axiom(SymbolicExpression, SymbolicExpression) | | 0% | | 0% | 8 | 8 | 19 | 19 | 1 | 1 |
| arrayLambdaAxiom2BooleanExpression(StatefulArrayLambdaAdaptor.ArrayLambdaAxiom) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| symbolicConstants(int) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| inRange(NumericSymbolicConstant, NumericExpression, NumericExpression) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| visitExpression(SymbolicExpression) |  | 80% | | 71% | 4 | 8 | 3 | 21 | 0 | 1 |
| getIndependentArrayLambdaAxioms() | | 50% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| StatefulArrayLambdaAdaptor(PreUniverse) | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 |
| apply(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |