Symbol: __update_discard_tree_range