for x, y being object st root-tree x = root-tree y holds
x = y