code: private void fix(Node<K, V> x) {
      if (x == null) {
        return;
      }
      x.N = 1 + size(x.left) + size(x.right);
      x.max = max3(x.interval.hi, max(x.left), max(x.right));
    }
docs: fix auxiliary information (subtree count and max fields)