docs: public static Set<String> validateAsRuleBody(Conjunction<Pattern> pattern, Rule rule, TransactionOLTP graph){
          Set<String> errors = new HashSet<>();
          try{
              CompositeQuery body = ReasonerQueries.composite(pattern, graph);
              Set<ResolvableQuery> complementQueries = body.getComplementQueries();
              if(complementQueries.size() > 1){
                  errors.add(ErrorMessage.VALIDATION_RULE_MULTIPLE_NEGATION_BLOCKS.getMessage(rule.label()));
              }
              if(!body.isPositive() && complementQueries.stream().noneMatch(ReasonerQuery::isPositive)){
                  errors.add(ErrorMessage.VALIDATION_RULE_NESTED_NEGATION.getMessage(rule.label()));
              }
          } catch (GraqlQueryException e) {
              errors.add(ErrorMessage.VALIDATION_RULE_INVALID.getMessage(rule.label(), e.getMessage()));
          }
          return errors;
      }