docs: private void visit(ReturnValueRestrictionDescr descr) {
  
          ReturnValueRestriction restriction = new ReturnValueRestriction(pattern);
  
          restriction.setPatternIsNot(pattern.isPatternNot());
          restriction.setFieldPath(field.getPath());
          restriction.setOperator(Operator.determineOperator(descr.getEvaluator(),
                  descr.isNegated()));
          restriction.setClassMethodName(descr.getClassMethodName());
          restriction.setContent(descr.getContent());
          restriction.setDeclarations(descr.getDeclarations());
          restriction.setOrderNumber(orderNumber);
          restriction.setParentPath(pattern.getPath());
          restriction.setParentType(pattern.getVerifierComponentType());
  
          data.add(restriction);
          solvers.addPatternComponent(restriction);
  
      }