@Override
    public @NotNull DfType fromRelation(@NotNull RelationType relationType) {
      return relationType == RelationType.EQ ? this :
             relationType == RelationType.NE ? NOT_FAIL :
             BOTTOM;
    }
@Override
    public @NotNull DfType fromRelation(@NotNull RelationType relationType)