@Override
  public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier) {
    return getDefaultValue();
  }
@Override
  public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier)