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