Let 4
|
+- Lambda 1
|  |
|  `- Let 2
|     |
|     +- sel1
|     |  |
|     |  `- var:1
|     |
|     `- Let 3
|        |
|        +- sel2
|        |  |
|        |  `- var:1
|        |
|        `- (*)
|           |
|           +- (-)
|           |  |
|           |  +- var:2
|           |  |
|           |  `- var:3
|           |
|           `- (-)
|              |
|              +- var:3
|              |
|              `- var:2
|
`- Lambda 0
   |
   `- Let
      |
      +- tup2
      |  |
      |  +- (*)
      |  |  |
      |  |  +- var:0
      |  |  |
      |  |  `- 2
      |  |
      |  `- (*)
      |     |
      |     +- var:0
      |     |
      |     `- 3
      |
      `- var:4