public override string ToSource(int depth)
{
StringBuilder sb = new StringBuilder();
sb.Append(MakeIndent(depth));
sb.Append("{\n");
foreach (Node kid in this)
{
sb.Append(((AstNode)kid).ToSource(depth + 1));
}
sb.Append(MakeIndent(depth));
sb.Append("}\n");
return sb.ToString();
}