How to use

getPredicateSort

method

in

org.kframework.compile.GenerateSortPredicateRules

private boolean isPredicate(Rule r) {
  return getPredicateSort(r).isPresent();
}

private boolean isPredicateFor(Rule r, Sort s) {
  Optional<Sort> sort = getPredicateSort(r);
  return sort.isPresent() && sort.get().equals(s);
}