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