| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 115 of 171 | 32% | 22 of 29 | 24% | 19 | 27 | 24 | 38 | 4 | 11 |
| setChild(int, ASTNode) | | 27% | | 30% | 12 | 14 | 11 | 16 | 0 | 1 |
| diffWork(ASTNode) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| copy() | | 0% | n/a | 1 | 1 | 3 | 3 | 1 | 1 | |
| printBody(PrintStream) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| isParallel() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| CommonCivlForNode(Source, boolean, DeclarationListNode, ExpressionNode, StatementNode, SequenceNode) | | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 | |
| getDomain() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getBody() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| loopContracts() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getVariables() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| statementKind() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |