transition-feature-membership-effect-action
Available in: SysML
This checks that do transition member is an action.
This is impossible to trigger through textual syntax.
Specification
If the
kindof aTransitionUsageiseffect, then itstransition_featuremust be a kind ofActionUsage.