Different AVATAR specifications depending on how a model is designed using the GUI

When designing a model using the GUI, depending on the order in which transitions are added in a SMD, the generated avspec differs. The attached model illustrates this bug with two empty transitions originating from a state called "incrementingN." emptyTransitions.xml