void (@NotNull UnsatisfiedConditionProblem problem, @NotNull DfaValue value, @NotNull ThreeState failed, @NotNull DfaMemoryState state) { if (problem instanceof ContractFailureProblem && failed != ThreeState.NO) { myResult.add(new JavaExpressionAnchor(((ContractFailureProblem)problem).getAnchor()), state, value.getFactory().fromDfType(DfType.FAIL)); } }