@NotNull
  public static DfType getDfType(@NotNull PsiExpression expression, boolean ignoreAssertions) {
    DataflowResult result = getDataflowResult(expression);
    if (result == null) return DfType.TOP;
    expression = PsiUtil.skipParenthesizedExprDown(expression);
    return ignoreAssertions ? result.getDfTypeNoAssertions(expression) : result.getDfType(expression);
  }
@NotNull
  public static DfType getDfType(@NotNull PsiExpression expression, boolean ignoreAssertions)