@Override
  public @NotNull @Nls String getPresentationText(@NotNull PsiElement element) {
    // For now, stack filter doesn't contribute to the presentation text
    return myDfaFilter == null ? "" : myDfaFilter.getPresentationText(element);
  }
@Override
  public @NotNull @Nls String getPresentationText(@NotNull PsiElement element)