text: public AND(SemanticContext a, SemanticContext b) {Set<SemanticContext> operands = new HashSet<SemanticContext>();if ( a instanceof AND ) operands.addAll(Arrays.asList(((AND)a).opnds));else operands.add(a);if ( b instanceof AND ) operands.addAll(Arrays.asList(((AND)b).opnds));else operands.add(b);List<PrecedencePredicate> precedencePredicates = filterPrecedencePredicates(operands);if (!precedencePredicates.isEmpty()) {PrecedencePredicate reduced = Collections.min(precedencePredicates);operands.add(reduced);}opnds = operands.toArray(new SemanticContext[operands.size()]);}