How to use

apply

method

in

org.kframework.kore.FoldK

  @Override
  public Boolean apply(KApply k) {
    return isConstructorLike(k.klabel()) && super.apply(k);
  }
}).apply(term);

@Override
public Optional<KApply> apply(KApply k) {
  if (k.klabel() instanceof KVariable) {
    return super.apply(k);
  }
  if (m.attributesFor().apply(k.klabel()).contains("thread")) {
    return Optional.of(k);
  }
  return super.apply(k);
}