| expansion(boolean, AbstractFunctionCallExpression, int, Identifier, CIVLType, Expression, int) |  | 0% | | 0% | 6 | 6 | 43 | 43 | 1 | 1 |
| expansionUnbound(boolean, AbstractFunctionCallExpression, int, Variable, Expression, int) | | 0% | | 0% | 6 | 6 | 41 | 41 | 1 | 1 |
| iteratorPair(Expression) | | 0% | | 0% | 23 | 23 | 61 | 61 | 1 | 1 |
| matchesIteratorPattern(Expression) | | 0% | | 0% | 23 | 23 | 61 | 61 | 1 | 1 |
| bigOFacts(CIVLSource, Expression, Scope, int) | | 0% | | 0% | 2 | 2 | 20 | 20 | 1 | 1 |
| expand(AbstractFunctionCallExpression, int, Scope) | | 0% | | 0% | 5 | 5 | 25 | 25 | 1 | 1 |
| boundVariable(Expression) | | 0% | | 0% | 9 | 9 | 25 | 25 | 1 | 1 |
| expandIterator(AbstractFunctionCallExpression, int, Scope) | | 0% | | 0% | 2 | 2 | 12 | 12 | 1 | 1 |
| matchesPattern(Expression) | | 0% | | 0% | 9 | 9 | 23 | 23 | 1 | 1 |
| separatedExpression(Expression) | | 0% | | 0% | 9 | 9 | 23 | 23 | 1 | 1 |
| createAssumption(CIVLSource, Scope, Expression) | | 0% | | n/a | 1 | 1 | 10 | 10 | 1 | 1 |
| taylorExpansions(AbstractFunctionCallExpression, Scope) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| analyze(Expression) | | 0% | | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| createAssumptionExpression(CIVLSource, int, Expression) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| findsBoundVariable(QuantifiedExpression, Identifier) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| multiple(CIVLSource, Expression, int) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| generateAssumptions(Scope) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| factorial(int) | | 0% | | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| accuracyAssumptions(Expression, Scope) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| expansion(boolean, AbstractFunctionCallExpression, int, Identifier, CIVLType, Expression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| CommonAccuracyAssumptionBuilder(ModelFactory) |  | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |