docs: public final int[] getVariableSizes() {
      int[] sizes = new int[size()];
      for (int i = 0; i < vars.length; i++) {
        sizes[i] = ((DiscreteVariable) vars[i]).numValues();
      }
      return sizes;
    }