in properties view create a Guard (new Constraint is created)
open constraint propertie pop-up (double click on the constraint)
At this step it is not possible to edit the specification. The label of the transition is based on the name of the specification which could not be edited.
Steps to reproduce:
At this step it is not possible to edit the specification. The label of the transition is based on the name of the specification which could not be edited.