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