void (@NotNull UnsatisfiedConditionProblem problem, @NotNull DfaValue value, @NotNull ThreeState failed, @NotNull DfaMemoryState state) { if (problem instanceof NullabilityProblemKind.NullabilityProblem && ((NullabilityProblemKind.NullabilityProblem<?>)problem).thrownException() != null && value instanceof DfaVariableValue) { result.merge((DfaVariableValue)value, failed != ThreeState.NO, Boolean::logicalAnd); } }