@Override
  public @NotNull DfType fromRelation(@NotNull RelationType relationType) {
    DfType afterRelation = switch (relationType) {
      case EQ -> this;
      case NE -> tryNegate();
      default -> TOP;
    };
    return afterRelation == null ? TOP : afterRelation;
  }
@Override
  public @NotNull DfType fromRelation(@NotNull RelationType relationType)