| {...} |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseEMV2AnnexInstance(EMV2AnnexInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseEMV2InstanceObject(EMV2InstanceObject) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseStateMachineProperties(StateMachineProperties) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseErrorPropagationInstance(ErrorPropagationInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseConnectionEndPropagation(ConnectionEndPropagation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseFeaturePropagation(FeaturePropagation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAccessPropagation(AccessPropagation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| casePointPropagation(PointPropagation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseBindingPropagation(BindingPropagation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseTypeSetElement(TypeSetElement) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseTypeTokenInstance(TypeTokenInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseTypeInstance(TypeInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseTypeProductInstance(TypeProductInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAbstractTypeSet(AbstractTypeSet) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseTypeSetInstance(TypeSetInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAnonymousTypeSet(AnonymousTypeSet) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseErrorFlowInstance(ErrorFlowInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseErrorSourceInstance(ErrorSourceInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseErrorSinkInstance(ErrorSinkInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseErrorPathInstance(ErrorPathInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| casePropagationPointInstance(PropagationPointInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| casePropagationPathInstance(PropagationPathInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseConnectionPath(ConnectionPath) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseBindingPath(BindingPath) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseUserDefinedPath(UserDefinedPath) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseStateInstance(StateInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseEventInstance(EventInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseErrorEventInstance(ErrorEventInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseRecoverEventInstance(RecoverEventInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseRepairEventInstance(RepairEventInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseTransitionInstance(TransitionInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseStateSource(StateSource) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseSourceStateReference(SourceStateReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAllSources(AllSources) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseConditionExpressionInstance(ConditionExpressionInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseEventReference(EventReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseConditionPropagationReference(ConditionPropagationReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseNoErrorPropagationReference(NoErrorPropagationReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseCountExpression(CountExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseTransitionDestination(TransitionDestination) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseDestinationStateReference(DestinationStateReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseSameState(SameState) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseBranches(Branches) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseBranch(Branch) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseBranchStateReference(BranchStateReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseBranchSameState(BranchSameState) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseOutgoingPropagationConditionInstance(OutgoingPropagationConditionInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseOutgoingPropagationConditionDestination(OutgoingPropagationConditionDestination) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseDestinationPropagationReference(DestinationPropagationReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAllPropagations(AllPropagations) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAllPropagationsNoError(AllPropagationsNoError) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseDetectionInstance(DetectionInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseErrorCodeInstance(ErrorCodeInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseIntegerCode(IntegerCode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseStringCode(StringCode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseConstantCode(ConstantCode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseModeMappingInstance(ModeMappingInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseCompositeStateInstance(CompositeStateInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseCompositeConditionExpression(CompositeConditionExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseOthersExpression(OthersExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseStateReference(StateReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseElement(Element) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseNamedElement(NamedElement) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseAnnexInstance(AnnexInstance) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseInstanceObject(InstanceObject) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| defaultCase(EObject) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |