static void checkNotNullable(@NotNull DataFlowInterpreter interpreter,
                               @NotNull DfaMemoryState state,
                               @NotNull DfaValue value,
                               @Nullable NullabilityProblemKind.NullabilityProblem<?> problem) {
    if (problem != null) {
      DfaNullability nullability = DfaNullability.fromDfType(state.getDfType(value));
      ThreeState failed = nullability == DfaNullability.NOT_NULL ? ThreeState.NO :
                          nullability == DfaNullability.NULL ? ThreeState.YES : ThreeState.UNSURE;
      interpreter.getListener().onCondition(problem, value, failed, state);
    }
  }
static void checkNotNullable(@NotNull DataFlowInterpreter interpreter,
                               @NotNull DfaMemoryState state,
                               @NotNull DfaValue value,
                               @Nullable NullabilityProblemKind.NullabilityProblem<?> problem)