How to use

promotePredicate

method

in

org.kframework.compile.GenerateSortPredicateRules

    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()));