Let 1
|
+- max
|  |
|  +- 5
|  |
|  `- (+)
|     |
|     +- 6
|     |
|     `- 7
|
`- Lambda 0
   |
   `- condition
      |
      +- (==)
      |  |
      |  +- var:0
      |  |
      |  `- 10
      |
      +- var:1
      |
      `- var:1