public String toString() {
StringBuilder builder = new StringBuilder();
builder.append('(');
String sep = "";
for (ASTree t : children) {
builder.append(sep);
sep = " ";
builder.append(t.toString());
}
return builder.append(')').toString();
}
