for T being DecoratedTree holds roots <*T*> = <*(T . {})*>