public void Unwind(int count)
{
if (count == 0)
{
return;
}
for (int i = count; i < _tr; i++)
{
AbstractTerm term = (AbstractTerm)_trail[i];
term.Unbind();
}
}