Devices descending from K122035

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