Creates a new do statement.
| condition |
loop condition |
| body |
loop body |
| source_reference |
reference to source code |
|
newly created do statement |