Added an algorithm to decide whether t1 is a subtree of t2