in the last change.

user perspective anyway).

Also added find_trees_not_rooted_with_tag().

1 instead of infinity.