@Override
      public void onCondition(@NotNull UnsatisfiedConditionProblem problem,
                              @NotNull DfaValue value,
                              @NotNull ThreeState failed,
                              @NotNull DfaMemoryState state) {
        if (failed != ThreeState.NO && problem instanceof ContractFailureProblem) {
          myInterpreter.cancel();
        }
        else if (problem instanceof NullabilityProblemKind.NullabilityProblem<?> && value instanceof DfaVariableValue) {
          myOkNullChecks.add((DfaVariableValue)value);
        }
      }
@Override
      public void onCondition(@NotNull UnsatisfiedConditionProblem problem,
                              @NotNull DfaValue value,
                              @NotNull ThreeState failed,
                              @NotNull DfaMemoryState state)