Ima boompin' this, with a little extra too.
The idea was: Changing any event on a state should automatically change any reference to this event in this same state's actions.
+ Prevent the use of event duplicates (this is contrary to PMK logic).
I even managed to have events be listed as used twice because of this issue, even when in reality used only once in any FSM.