To handle this, we restrict the candidate value of z n in eq 3, ensuring that the new z n is always a tree.
given a tree T , we define a structure operation as the procedure of detaching one node x n in T from its parent and appending it to another node x m which is not a descendant of x n .