Devices descending from K172758

3 later devices reach Rotatable Snares, Non-Rotatable Snares through their predicates, nearest generation first.