Do the 'while (true)' transformation in the AST.