tol_induced_tree -> tol_induced_subtree