default @NotNull DfType fromRelation(@NotNull RelationType relationType) {
    return relationType == RelationType.EQ ? this : TOP;
  }
default @NotNull DfType fromRelation(@NotNull RelationType relationType)