Devices descending from K232152

2 later devices reach NerivioInfinity through their predicates, nearest generation first.