// Function to clear the dictionary.
public static void ClearDic(ref MyDictionary <int, AbstrState> myDictionary)
{
myDictionary.Clear();
Console.WriteLine("The dictionary is clear now!\nPress ENTER to continue");
Console.ReadLine();
}
