public override string ToString() { if (Tags != null) return Tags.ToString(); return "TokenTreeNode " + Char; // do not localize }