docs: public static FactorGraph createFromFactors(List<Factor> factors) {
      VariableNumMap allVars = VariableNumMap.EMPTY;
      for (int i = 0; i < factors.size(); i++) {
        allVars = allVars.union(factors.get(i).getVars());
      }
  
      String[] factorNames = new String[factors.size()];
      for (int i = 0; i < factors.size(); i++) {
        factorNames[i] = "factor-" + i;
      }
      return new FactorGraph(allVars, factors.toArray(new Factor[factors.size()]), factorNames,
          VariableNumMap.EMPTY, Assignment.EMPTY, null);
    }