Devices descending from K180407

4 later devices reach Smartinhaler through their predicates, nearest generation first.