Devices descending from K120867

2 later devices reach Viper and Expedium Navigated Instruments through their predicates, nearest generation first.