Thank you for your replies, Marco and Jeanne.
Maybe I am reading too much into this. The answer to this question contains the following:
…, but since it is a do/while loop, it executes at least once.
I believe that this part of the answer can be omitted (or rephrased) as it is emphasizing a point that has not impact on this question.