2 later devices reach Invisiject Resusable Auto-Injector through their predicates, nearest generation first.