Kills a tet and, if there is room, buries it in the graveyard, from where it may be resurrected later. Never updates the root tet, even when the tet being killed is the root tet. The caller is responsible for setting the root tet, as necessary.
(Tet tet)
source not stored for this graph (policy: none)
no test coverage detected