visitWhileNode