| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 101 of 101 | 0% | 4 of 4 | 0% | 10 | 10 | 22 | 22 | 7 | 7 |
| toString() | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| CommonQuantifiedExpression(CIVLSource, QuantifiedExpression.Quantifier, Variable, Expression, Expression) | | 0% | n/a | 1 | 1 | 6 | 6 | 1 | 1 | |
| quantifier() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| boundVariable() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| boundRestriction() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| expression() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| expressionKind() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |