There are 4 billion reasons why it would have been extremely stupid of Disney to accept such a clause.
That’s still not the point of my question, which is “does this clause exist ?”. So nobody knows. If the christmas box set happens to be the OOT, the answer would be quite clear…