<*>
+ <*>
| + <*>
| | + pure const
| | ` pure id
| ` <*>
|   + <*>
|   | + def name_5
|   | | ` <*>
|   | |   + pure const
|   | |   ` pure id
|   | ` def name_7
|   |   ` <*>
|   |     + <*>
|   |     | + def name_1
|   |     | | ` <*>
|   |     | |   + pure const
|   |     | |   ` pure id
|   |     | ` def name_3
|   |     |   ` <*>
|   |     |     + <*>
|   |     |     | + <*>
|   |     |     | | + pure const
|   |     |     | | ` pure id
|   |     |     | ` rec name_7
|   |     |     ` rec name_3
|   |     ` rec name_7
|   ` def name_2
|     ` pure ()
` <*>
  + <*>
  | + ref name_5
  | ` def name_4
  |   ` <*>
  |     + <*>
  |     | + ref name_1
  |     | ` def name_6
  |     |   ` <*>
  |     |     + <*>
  |     |     | + <*>
  |     |     | | + pure const
  |     |     | | ` pure id
  |     |     | ` rec name_4
  |     |     ` rec name_6
  |     ` rec name_4
  ` ref name_2