public string GetShortName(string name)
{
if (dict.ContainsKey(name))
{
return(dict[name]);
}
string genValue = nameGenerator.GetNext();
dict.Add(name, genValue);
return(genValue);
}
