Symbol: add_subtree_rule