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