@Override
  public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier) {
    if (qualifier == null) return DfType.TOP;
    TypeConstraint constraint = TypeConstraint.fromDfType(qualifier.getDfType());
    return constraint.getArrayComponentType();
  }
@Override
  public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier)