Use the left tree instead of the stree in del_push() and del_pull().