4 later devices reach PRO2 Check Oxygen Indicator through their predicates, nearest generation first.