| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 140 of 458 | 69% | 20 of 64 | 69% | 19 | 50 | 16 | 72 | 0 | 3 |
| make(TreeExpressionIF.SymbolicKind, SymbolicTypeIF, SymbolicExpressionIF[]) | | 65% | | 67% | 16 | 41 | 15 | 55 | 0 | 1 |
| canonicalize(TreeExpressionIF) | | 91% | | 75% | 3 | 8 | 1 | 15 | 0 | 1 |
| SymbolicUniverse() | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 |