Yes, I use a similar approach when debugging some parts of my CRDTs as well. It's very helpful.
However, this algorithm is designed specifically for trees. I'm not sure whether I could manage to make it work on DAGs (Directed Acyclic Graphs). It would require some rewrites of the aesthetic rules and designing a new algorithm.