A work flow of 4 states. While in workflow 3 if you hit
back button on browser you get warning as expected.
Refreshing produces nothing on the screen as expected.
However, when you hit the forward button on the
browser, it goes into a workflow violation that overflows
the buffer and crashes.