Shuffled fpt_tud_ext requirements. Made the checking of the update selection-based.
Merge