Devices descending from K133914

2 later devices reach Verisuite 1.8, Verisuite-Particle 1.8, Verisuite, Verisuite-Particle through their predicates, nearest generation first.