What is wrong with simply:
test := True;
WHILE test
DO
<body>;
test = <condition>
OD test := True;
WHILE test
DO
<body>;
test = <condition>
OD