Devices descending from K181970

2 later devices reach MectaLIF Posterior Extension through their predicates, nearest generation first.