docs: private PatternEval visitPredicateDescr(PredicateDescr descr) {
  
          PatternEval predicate = new PatternEval(pattern);
          predicate.setContent(descr.getContent().toString());
          predicate.setClassMethodName(descr.getClassMethodName());
          predicate.setOrderNumber(orderNumber.next());
          predicate.setParentPath(pattern.getPath());
          predicate.setParentType(pattern.getVerifierComponentType());
  
          data.add(predicate);
  
          solvers.addPatternComponent(predicate);
  
          return predicate;
      }