@NotNull
  public static DfaNullability fromNullability(@NotNull Nullability nullability) {
    return switch (nullability) {
      case NOT_NULL -> NOT_NULL;
      case NULLABLE -> NULLABLE;
      case UNKNOWN -> UNKNOWN;
    };
  }
@NotNull
  public static DfaNullability fromNullability(@NotNull Nullability nullability)