This is the output of union-find algorithm of disjoint set (for structure analysis). It's true that we can start from any variable node, but this way may be more informative.