2 later devices reach Cryopush Cold Compression Device through their predicates, nearest generation first.