for x, y being object holds
( <*x,y*> is Tree-yielding iff ( x is Tree & y is Tree ) )