Improvements and fixes to population of `Label` attribute for Body (`ACT_ACT`) instances during pre-build:
- Set `Label` attribute for bridges and interface signals
- Include state machine type in state and transition action labels
- Change transition label to include start state (or "Non Existent" for creation transitions), event, and destination state