wellformed in while statement