| [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] |