| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 48 of 48 | 0% | 0 of 0 | n/a | 10 | 10 | 20 | 20 | 10 | 10 |
| BindingExpressionNode(long, BindingExpressionNodeIF.Quantifier, BoundVariableDeclarationNodeIF, PureExpressionNodeIF, PureExpressionNodeIF) | | 0% | n/a | 1 | 1 | 6 | 6 | 1 | 1 | |
| BindingExpressionNode(long) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| setQuantifier(BindingExpressionNodeIF.Quantifier) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| setBoundVariable(BoundVariableDeclarationNodeIF) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| setConstraint(PureExpressionNodeIF) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| setExpression(PureExpressionNodeIF) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| quantifier() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| boundVariable() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| constraint() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| expression() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |