Symbol: range_tree_verify_not_present