If at point B we came to some point X, came back by Undo operation to
A again and Redo to C and, again, via some other editions we came to
the same point X, this mean, we got the same text via different
editing operations. This is not tree, but graph.