is_subtree_rooted_at function

Checks if a tree is rooted at a node of another tree.