public void AppendPrint(int indent, StringBuilder buf) { Helper.PrintASTIndentLine(Op.ToString(), indent, buf); Left.AppendPrint(indent + 1, buf); Right.AppendPrint(indent + 1, buf); }