public override void Clear() { if (_leaf.OwnerBDD != null) { _leaf.OwnerBDD.Tree = _leaf; } else { _leaf.Delete(); } }