I think his contract was written this way because he would hit 10 years of service and it wouldn’t matter.
Players with at least 10 years of Major League service who have spent the past five consecutive seasons with the same team earn "10-and-5" rights. Under these circumstances, a player can veto any trade scenario that is proposed. In essence, 10-and-5 rights function as a full no-trade clause.