[attribute A] [flow A] [attribute B] [flow B] [desugar A] [generate code A] [desugar B]
[generate code B.C]
[generate code B]