3 later devices reach InFill Interbody Fusion Devices through their predicates, nearest generation first.