binary_tree : Check if a binary tree is subtree of another binary tree