[attribute A]
[flow A]
[attribute B]
[flow B]
[desugar B]
[desugar A]
[generate code A.A1]
[generate code A.A2]
[generate code A.A3]
[generate code A3m1]
[generate code <anonymous A$A4$1>]
[generate code A.A4]
[generate code A]
[generate code B.Inner]
[generate code B]