| {...} |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerification(Verification) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationPlan(VerificationPlan) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseClaim(Claim) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseArgumentExpr(ArgumentExpr) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseComputeRef(ComputeRef) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationActivity(VerificationActivity) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationCondition(VerificationCondition) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationMethodRegistry(VerificationMethodRegistry) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseFormalParameter(FormalParameter) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationMethod(VerificationMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseMethodKind(MethodKind) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseResoluteMethod(ResoluteMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseJavaMethod(JavaMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| casePythonMethod(PythonMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseManualMethod(ManualMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| casePluginMethod(PluginMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAgreeMethod(AgreeMethod) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseJUnit4Method(JUnit4Method) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseJavaParameter(JavaParameter) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseThenExpr(ThenExpr) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseElseExpr(ElseExpr) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAllExpr(AllExpr) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseRefExpr(RefExpr) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationValidation(VerificationValidation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseVerificationPrecondition(VerificationPrecondition) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| defaultCase(EObject) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |