Returns the predecessor of live node p, given a node that was once a live ancestor of p (or head); allows unlinking of p.
See Implementation
Returns the predecessor of live node p, given a node that was once a live ancestor of p (or head); allows unlinking of p.