Devices descending from K130872

3 later devices reach Cardiocel through their predicates, nearest generation first.