public override void Dump(StringBuilder bb, SymbolsDictionary symbols, Positions positions) { bb.Append("("); LeftChild.Dump(bb, symbols, positions); bb.Append(", "); RightChild.Dump(bb, symbols, positions); bb.Append(")"); } #endif