decide if T2 is a subtree of T1