Finished Tree.update_uf_if(...)