boolean (@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()); }