Is there a way to do something like the following, with the existing State Machine implementation?

StateMachine MyStateMachineDefinition
  {
   transitions {
       // and have transitions here that apply to all states of this machine?
   }
    ...
   state A {
   ...
  }
}