private static boolean isAssertionEffectively(@NotNull PsiExpression anchor, ConstantResult result) {
    Object value = result.value();
    if (value instanceof Boolean booleanValue) {
      return DfaPsiUtil.isAssertionEffectively(anchor, booleanValue);
    }
    if (value != null) return false;
    return DfaPsiUtil.isAssertCallArgument(anchor, ContractValue.nullValue());
  }
private static boolean isAssertionEffectively(@NotNull PsiExpression anchor, ConstantResult result)