4 later devices reach NuVasive Modulus ALIF System through their predicates, nearest generation first.