docs: private Expression consolidateAnd(And and) {
          Expression result = and;
          Expression lhs = and.getOperand().get(0);
          Expression rhs = and.getOperand().get(1);
          if (isBooleanLiteral(lhs, true)) {
              result = rhs;
          } else if (isBooleanLiteral(rhs, true)) {
              result = lhs;
          } else if (lhs instanceof And) {
              and.getOperand().set(0, consolidateAnd((And) lhs));
          } else if (rhs instanceof And) {
              and.getOperand().set(1, consolidateAnd((And) rhs));
          }
  
          return result;
      }