2 later devices reach Biodex System 2 Autoprogram through their predicates, nearest generation first.