loopDepth--;
    public Object visitDoStatement(JDoStatement self,                                   JExpression cond,                                   JStatement body) {        body.accept(this);        JExpression newExp = (JExpression)cond.accept(this);        if (write&&(newExp!=cond)) {            self.setCondition(newExp);        }        return self;    }