public void visitNestedKLists(KList children) {
if (!children.isEmpty()) {
boolean first = true;
for (Term t : children.getContents()) {
if (!first) {
builder.append(',');
}
first = false;
visitNodeOrKList(t);
}
}
}
