Continued working on appears_in_subtree_when_appears_in_tree_and_found which has proven to be quite cumbersome