docs: public void add(VerifierComponent descr) {
  
          if ( subSolver != null ) {
              subSolver.add( descr );
          } else {
              if ( type == OperatorDescrType.AND ) {
                  if ( possibilityLists.isEmpty() ) {
                      possibilityLists.add( new HashSet<VerifierComponent>() );
                  }
                  for ( Set<VerifierComponent> set : possibilityLists ) {
                      set.add( descr );
                  }
              } else if ( type == OperatorDescrType.OR ) {
                  Set<VerifierComponent> set = new HashSet<VerifierComponent>();
                  set.add( descr );
                  possibilityLists.add( set );
              }
          }
      }