state machine wfc should be applied to operation definitions

[alvarohm]

Platform operations can no longer be defined using operation definitions. The definition and termination property is not needed because platform operations are asynchronous and they are defined by the platform mapping. All software operations must be defined at the level of the controllers.

We can now apply the state machine WFCs (e.g., initial junctions are mandatory) to operation definitions and they no longer need to allow for empty operations.

This is related to issue