3 later devices reach Modified Trevo Provue Retriever through their predicates, nearest generation first.