Devices descending from K172918

2 later devices reach DEXIS Titanium, KaVo IXS HD (Size 1, Size 2) through their predicates, nearest generation first.