@Override public String pretty() { StringBuilder sb = new StringBuilder(); sb.append("ValuePrecede(" + s + "," + t + ",{"); for (int i = 0; i < vars.length; i++) { if (i > 0) sb.append(", "); SetVar var = vars[i]; sb.append(var.pretty()); } sb.append("})"); return sb.toString(); }