change prooftree to root