@Override
    public @NotNull DfType fromConstant(@Nullable Object obj) {
      if (obj instanceof PsiType type) {
        return DfTypes.booleanValue(TypeConstraints.exact(type) != TypeConstraints.BOTTOM);
      }
      return super.fromConstant(obj);
    }
@Override
    public @NotNull DfType fromConstant(@Nullable Object obj)