RESET_STATE not handled properly in first step after event for analytical propagators
When an event detector generates a RESET_STATE in an analytical propagator, the first step handled after the event occurred may be wrong: it can still reflect the state as if reset did not occur.