This intention replaces a while loop with an equivalent do-while loop construct.