@Override
  public @NotNull String getElementPresentation() {
    return (myMatched ? "matched" : "refutable") + " pattern: " + getElement().getText();
  }
@Override
  public @NotNull String getElementPresentation()