Wraps an expression with a 'while' condition in a 'do..while' loop.