Devices descending from K172117

2 later devices reach Prelude Pursuit Splittable Sheath Introducer through their predicates, nearest generation first.