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