2 later devices reach InFill Interbody Fusion Device through their predicates, nearest generation first.