void (@NotNull UnsatisfiedConditionProblem problem, @NotNull DfaValue value, @NotNull ThreeState failed, @NotNull DfaMemoryState state) { if (problem instanceof ContractFailureProblem && failed != ThreeState.NO) { ContainerUtil.addIfNotNull(myFailures, ((ContractFailureProblem)problem).getAnchor()); } }