Devices descending from K171350

4 later devices reach Collision Check through their predicates, nearest generation first.