StringBuilder toString(StringBuilder ans, Pretty pretty, String indent) {
if (ans == null) ans = new StringBuilder();
start(ans, pretty, indent);
if (coreEreKids) {
core(ans, pretty, indent);
doKids(ans, pretty, indent);
} else {
doKids(ans, pretty, indent);
core(ans, pretty, indent);
}
end(ans, pretty, indent);
return ans;
}
