Symbol: insubtree_dependents_down