kills Tree.empty => this notion is incompatible with Tree.parent