for x being object holds
( <*x*> is FinTree-yielding iff x is finite Tree )