@NotNull
  public static Nullability toNullability(@Nullable DfaNullability dfaNullability) {
    return dfaNullability == null ? Nullability.UNKNOWN : dfaNullability.myNullability;
  }
@NotNull
  public static Nullability toNullability(@Nullable DfaNullability dfaNullability)