Unclassified usage (11: 7) trait Y: X {
Unclassified usage (11: 7) trait Z: A {
Unclassified usage (15: 7) trait U: Z {