Found a problem with the algorithm.
Namely, when pruning nodes that are not in the graph, it is possible to prune
the first parent, which changes the right-parent to become the left-hand
parent. Which confuses a lot, because it makes the node look like it
is a descendant, rather than a merge.
Needs proper tests.