[cpp-threads] infinite loops

[Peter A. Buhr]

   In other words, your proposed rule is that if

   something; something; something; ...; something; x = 42;

   can be transformed to

   x = 42; something; something; something; ...; something;

   for any finite amount of somethings, then it is allowed even when the actual 
   amount of iterations may be infinite.

I'd like to suggest one small wording change to the last line:

   for any finite amount of somethings, then it is allowed even when the actual 
   amount of *something* may be infinite.

because formally the term "something" subsumes the term "iteration". This
change would remove an further ambiguities. ;-)