BooleanUtils.TRUE)); if (nonProtectingSubsorts.contains(s)) { res.addAll(predicateRules.stream().filter(r -> isPredicateFor(r, s)).filter(this::isTruePredicate).map(r -> promotePredicate(r, sort)).collect(Collectors.toList()));
BooleanUtils.TRUE)); if (nonProtectingSubsorts.contains(s)) { res.addAll(predicateRules.stream().filter(r -> isPredicateFor(r, s)).filter(this::isTruePredicate).map(r -> promotePredicate(r, sort)).collect(Collectors.toList()));