@Override
  public @NotNull DfType join(@NotNull DfType other) {
    if (other.equals(this) || other == DfType.BOTTOM) return this;
    if (other instanceof DfStreamStateType) return UNKNOWN;
    return DfType.TOP;
  }
@Override
  public @NotNull DfType join(@NotNull DfType other)