public override string ToString() { return string.Format("({0}, {1}, {2}){3}", Symbol, StartPosition, EndPosition, ProductionsToString()); } internal override string ToStringSimple() {