Description of the illustration model_iterate_clause.eps

ITERATE ( number ) [ UNTIL ( condition ) ]