| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 101 of 101 | 0% | 10 of 10 | 0% | 13 | 13 | 24 | 24 | 8 | 8 |
| visitCall(CallExpression, Void) | | 0% | | 0% | 6 | 6 | 15 | 15 | 1 | 1 |
| SortExpressionExtractor.SortExpressionVisitor(Set, FunctionAndTypeManager) | | 0% | n/a | 1 | 1 | 4 | 4 | 1 | 1 | |
| lambda$visitCall$0(CallExpression, VariableReferenceExpression) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| visitInputReference(InputReferenceExpression, Void) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| visitConstant(ConstantExpression, Void) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| visitLambda(LambdaDefinitionExpression, Void) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| visitVariableReference(VariableReferenceExpression, Void) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| visitSpecialForm(SpecialFormExpression, Void) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |