for x being object holds
( {x} is constituted-DTrees iff x is DecoratedTree )