{ char pp = name.charAt(3); if (Character.isLetter(pp)) { char op = prefix.charAt(0); if (pp >= op) { char np = (char)((int)pp + 1); prefix = String.valueOf(np); } } } return expr;
checkPrefix(name.charAt(3)); return super.visitExprVar(expr);
                public Object visitExprVar(ExprVar expr)                {                    String name = expr.getName();                    if (name.startsWith("__s") && name.length() > 3)                    {                        char pp = name.charAt(3);                        if (Character.isLetter(pp))                        {                            char op = prefix.charAt(0);                            if (pp >= op)                            {                                char np = (char)((int)pp + 1);                                prefix = String.valueOf(np);                            }                        }                    }                    return expr;                }