pre_delete and post_delete implicitly point to a place in the document (where the two were split). This moves that point (by popping items from one and pushing them onto the other). It moves the point to try to find a place where unbalanced_start applies. As an example::
(unbalanced_start, pre_delete, post_delete)
source not stored for this graph (policy: none)