for t being DecoratedTree
for C being set holds C -Subtrees {t} = C -Subtrees t