HandleAfterResetCallback never hits

HI @Andrea_Catalini .
Could you please answer the following question?

I am using the methods inside the TestingExtensions. The application crashes when I use the SimulateError method and pass the DivergingHistories error code. Besides, I have implemented error handling for session exceptions discussed here but the problem is that the app crashes before achieving to the exception handling method.
So Is that acceptable behaviour or not?