boolean (@NotNull PsiExpression call) { List<? extends MethodContract> contracts = getContracts(call); return contracts != null && contracts.size() == 1 && contracts.get(0).isTrivial() && contracts.get(0).getReturnValue().isFail(); }