docs: public final boolean containsAllNames(VariableNumMap other) {
      int[] otherNums = other.nums;
      String[] otherNames = other.names;
  
      for (int i = 0; i < otherNums.length; i++) {
        int index = getVariableIndex(otherNums[i]);
        if (index < 0 || !otherNames[i].equals(names[index])) {
          return false;
        }
      }
      return true;
    }