tol_induced_tree -> tol_induced_subtree
Merge pull request #1 from dwinter/master

tol_induced_tree -> tol_induced_subtree