Symbol: is_subtree