Skip to content

Support CombinedFragment and InteractionOperand in ElementLabelProvider

The label of a CombinedFragment should be the name of its operator. The label of an InteractionOperand should be the specification of its guard.