@Override
  public boolean isSuperType(@NotNull DfType other) {
    if (other == DfType.BOTTOM) return true;
    if (other instanceof DfEphemeralReferenceType) {
      return myTypeConstraint.isSuperConstraintOf(((DfEphemeralReferenceType)other).myTypeConstraint);
    }
    return false;
  }
@Override
  public boolean isSuperType(@NotNull DfType other)