docs: @Override
    final protected void addRangeEmpty(int left, int right) {
      String key = left + "_" + right;
      if (index.containsKey(key)) {
        // do nothing (empty...)
      } else {
        root = addRange(root, left, right, null);
        root.color = IntervalRBTreeNode.BLACK;
      }
    }