protected void Terminate( PersistentFSMBaseTState, TData, TEventState upcomingState )
member Terminate : upcomingState : PersistentFSMBaseTState, TData, TEventState -> unit