@Override
  @NotNull
  default DfType fromRelation(@NotNull RelationType relationType) {
    if (relationType == RelationType.IS || relationType == RelationType.IS_NOT) {
      return DfType.TOP;
    }
    return DfTypes.rangeClamped(getRange().fromRelation(relationType), getLongRangeType());
  }
@Override
  @NotNull
  default DfType fromRelation(@NotNull RelationType relationType)