private static @NotNull DfType enumName(DfaValue qualifier, DfaMemoryState state, PsiType type) {
    DfType dfType = state.getDfType(qualifier);
    PsiEnumConstant value = dfType.getConstantOfType(PsiEnumConstant.class);
    if (value != null) {
      return referenceConstant(value.getName(), type);
    }
    return DfType.TOP;
  }
private static @NotNull DfType enumName(DfaValue qualifier, DfaMemoryState state, PsiType type)