@Override
      public void onCondition(@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);
        }
      }
@Override
      public void onCondition(@NotNull UnsatisfiedConditionProblem problem,
                              @NotNull DfaValue value,
                              @NotNull ThreeState failed,
                              @NotNull DfaMemoryState state)