void (@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); } }