prog7.txt

Lambda 0
 └╴Let 1
    ├╴max
    │  ├╴5
    │  └╴(+)
    │     ├╴6
    │     └╴7
    └╴condition
       ├╴(==)
       │  ├╴var:0
       │  └╴10
       ├╴var:1
       └╴var:1