| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 1,143 of 1,143 | 0% | 210 of 210 | 0% | 114 | 114 | 256 | 256 | 9 | 9 |
| fuseUnion(IrUnion, TupleExprIRRenderer) | | 0% | | 0% | 47 | 47 | 128 | 128 | 1 | 1 |
| apply(IrBGP, TupleExprIRRenderer) | | 0% | | 0% | 10 | 10 | 29 | 29 | 1 | 1 |
| collectAnonNamesFromPathTripleBranch(IrBGP) | | 0% | | 0% | 18 | 18 | 26 | 26 | 1 | 1 |
| extractNegAndNonNeg(List, List, List) | | 0% | | 0% | 11 | 11 | 19 | 19 | 1 | 1 |
| unwrapSingleBgpLayer(IrBGP) | | 0% | | 0% | 11 | 11 | 24 | 24 | 1 | 1 |
| branchesShareAnonPathVar(IrUnion, List) | | 0% | | 0% | 7 | 7 | 13 | 13 | 1 | 1 |
| branchesFormSafeAlternation(List, List) | | 0% | | 0% | 7 | 7 | 10 | 10 | 1 | 1 |
| splitTopLevelAlternation(String) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| wrap(IrPathTriple) | | 0% | n/a | 1 | 1 | 3 | 3 | 1 | 1 |