[attribute Y]
[flow Y]
[attribute W]
[flow W]
[attribute Z]
[flow Z]
[desugar Z]
[desugar W]
[desugar Y]
[generate code Y]
[generate code W]
[generate code Z]