how about adding an optional exit node to a FSM? Like in Mecanim. The node would be called when exiting the FSM and going somewhere else top level (duh 😉 ). That way one could add exit state actions if this FSM was a nested FSM, because enter/exit actions are not implemented for nested BTs/FSMs.
The entry node is already there with the start node.