/// <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();
}