3 later devices reach Seeker Crossing Support Catheter through their predicates, nearest generation first.