3.7.239. Sort based reformulation

A constraint using the 𝚜𝚘𝚛𝚝 constraint in one of its reformulation.