Does tree1 has tree2