for x being object holds
( <*x*> is DTree-yielding iff x is DecoratedTree )