@Override
  public int @NotNull [] getPossibleTargets() {
    return StreamEx.of(myEnterFinally.backLinks()).flatMapToInt(link -> IntStreamEx.of(link.getPossibleTargetIndices()))
      .filter(index -> index != myEnterFinally.getJumpOffset()).toArray();
  }
@Override
  public int @NotNull [] getPossibleTargets()