4 later devices reach SHL Disposable Autoinjector through their predicates, nearest generation first.