void (@Nullable PsiMethod method, @NotNull List<? extends MethodContract> contracts, @NotNull PsiExpression anchor) { if ((CustomMethodHandlers.isConstantCall(method) && !PsiTypes.booleanType().equals(method.getReturnType())) || ContainerUtil.exists(contracts, c -> c.getReturnValue().isFail())) { DfaControlTransferValue transfer = createTransfer(JAVA_LANG_THROWABLE); // if a contract resulted in 'fail', handle it addInstruction(new EnsureInstruction(new ContractFailureProblem(anchor), RelationType.NE, DfType.FAIL, transfer)); } }