@Override
  public @NotNull DfType fromRelation(@NotNull RelationType relationType) {
    if (relationType == RelationType.EQ || relationType == RelationType.IS) return this;
    if (relationType == RelationType.NE || relationType == RelationType.IS_NOT) {
      DfType negated = tryNegate();
      if (negated != null) {
        return negated;
      }
    }
    return TOP;
  }
@Override
  public @NotNull DfType fromRelation(@NotNull RelationType relationType)