10(1)The lease shall provide that in the event of a relevant disposal which is an exempted disposal by virtue of—
section 160(1)(a) (a disposal of whole dwelling-house to member of family),
section 160(1)(b) (vesting on death of tenant), or
section 160(1)(c) (matrimonial property adjustment or family provision order),
references to the tenant in the provisions of the lease required by this Schedule or by section 155 (repayment of discount on early disposal) shall include references to the person to whom the disposal is made.
(2)The lease shall also provide that, in the event of a compulsory disposal of a part of the dwelling-house, references in those provisions to the dwelling-house shall be construed as references to the remaining part of the dwelling-house.