those implications should be unrolled by properly called onLeft(up the tree to a common ancestor) and onEntered(down the tree to the new state). For example when one wants to go from a complex-docking manoeuvre directly into defense mode.
I will check again if this works properly