default @NotNull DfType getInitialDfType(@NotNull DfaVariableValue thisValue,
                                  @Nullable PsiElement context) {
    return getDfType(thisValue.getQualifier());
  }
default @NotNull DfType getInitialDfType(@NotNull DfaVariableValue thisValue,
                                  @Nullable PsiElement context)