syntactic-1.10: tests/gold/prog5.txt
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