Add missing functions for labelSuccessActions and labelEvent
Due to the introduction of the new fields labelSuccessActions and labelEvent in TransitionLabel, several parts are required to be implemented. These are:
-
Parsing -
Pretty printing
Due to the introduction of the new fields labelSuccessActions and labelEvent in TransitionLabel, several parts are required to be implemented. These are: