static @NotNull TypeConstraint fromDfType(@NotNull DfType type) {
    return type instanceof DfReferenceType ? ((DfReferenceType)type).getConstraint() :
           type == DfType.BOTTOM ? BOTTOM :
           TOP;
  }
static @NotNull TypeConstraint fromDfType(@NotNull DfType type)