Да, совершенно, за той лишь поправкой что он просто удаляет узел счетчика из RBtree, в дальшнейшем если идет обращение к счетчику на изменение такой узел добаавляется (но это внутренние особенности), наверное может быть полезным иметь counter_set но для той задачи оно мне не потребовалось.