docs: public void addFactor(String factorName, T factor, VariablePattern factorPattern) {
      parametricFactors.add(factor);
      factorPatterns.add(factorPattern);
      parametricFactorNames.add(factorName);
    }