3 later devices reach Iridex TruFocus LIO Premiere through their predicates, nearest generation first.