Major. Invariant of whether transitions are enabled according to state is now broken only during firing.
merged?