docs: private static List getDnfAndDnf(List dnf1, List dnf2)
      {
          ArrayList dnf = new ArrayList();
  
          for (Iterator it1 = dnf1.iterator(); it1.hasNext(); )
          {
              Criteria crit1 = (Criteria) it1.next();
  
              for (Iterator it2 = dnf2.iterator(); it2.hasNext(); )
              {
                  Criteria crit2 = (Criteria) it2.next();
                  Criteria crit = new Criteria();
                  crit.getCriteria().addAll(crit1.getCriteria());
                  crit.getCriteria().addAll(crit2.getCriteria());
                  dnf.add(crit);
              }
          }
  
          return dnf;
      }