@Override
  public boolean isSuperType(@NotNull DfType other) {
    if (other.equals(this) || other == DfType.BOTTOM) return true;
    if (other instanceof DfStreamStateType && this == UNKNOWN) return true;
    return false;
  }
@Override
  public boolean isSuperType(@NotNull DfType other)