consider W being Tree;
take f = W --> 0 ; :: thesis: f is DecoratedTree-like
thus dom f is Tree by FUNCOP_1:19; :: according to TREES_2:def 8 :: thesis: verum