/// <summary> /// Parse <param name="nd"></param> to a string using in the summary /// </summary> /// <param name="nd"></param> /// <returns></returns> private string ParseSwumNodeToString(Node nd) { if (nd is EquivalenceNode) { var firstOrDefault = ((EquivalenceNode)nd).EquivalentNodes.FirstOrDefault(); if (firstOrDefault != null) return firstOrDefault.ToPlainString(); } //we could do more than that. return nd.ToPlainString(); }