Prevent new state frames when finite state not changed

[rlaffers]

If an event did not change current finite state (only actions are executed, or the transition was internal) a new state frame might not be needed.
Make sure we visualize entry/exit events correctly even if the finite state did not change.