| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 26 of 72 | 64% | 2 of 4 | 50% | 4 | 10 | 7 | 25 | 2 | 8 |
| getTransition() | 50% | n/a | 0 | 1 | 2 | 8 | 0 | 1 | ||
| getBody() | 0% | n/a | 1 | 1 | 3 | 3 | 1 | 1 | ||
| getContext(String) | 67% | 50% | 1 | 2 | 1 | 3 | 0 | 1 | ||
| isGuardFacadeMetaType() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
| resetMetafacadeContext(String) | 100% | 50% | 1 | 2 | 0 | 4 | 0 | 1 | ||
| GuardFacadeLogic(Constraint, String) | 100% | n/a | 0 | 1 | 0 | 3 | 0 | 1 | ||
| validateInvariants(Collection) | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 | ||
| static {...} | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |