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