I had considered this alternative, but adding a transition in every state to the initial state, when

Error -> Ok

defeats the purpose of having an orthogonal region, which I added to basically reduce transitions on an Error.

-Samriti