for t being DecoratedTree holds t in Subtrees t