3 later devices reach Aventus Clot Management System through their predicates, nearest generation first.