Hi Michael,
Thank you for setting me straight on this. It should have dawned on me that they were completion transitions as described in 15.3.14. I have a love/hate feeling about them... I don't personally like the concept of leaving a state via implicit trigger. It just makes me feel uncomfortable. However, I also see the power they can afford and use them for exactly your example... stepping along algorithms.
You taught me about simple states' internal transitions so let's count it a fair trade ;-)
Right now I'm pushing on the edges of what I'm learning from the docs and a little bit of playing so I can determine how to convert basic constructs I use a lot from the model to the implementation. Thanks for putting up with me.
You're welcome. I enjoy the discussion and await the harder questions which are surely coming. Christophe