public void revert_tree_history(int symbolCount)
{
Debug.Assert(symbolCount>=0);
int historyLength = this.History.Count;
Debug.Assert(historyLength >= symbolCount);
int newSize = historyLength - symbolCount;
this.History = this.History.GetRange(0,newSize);
}