syntactic-3.1: tests/gold/fib.txt
Lam v3
└╴sel1
└╴ForLoop
├╴v3
├╴tup2
│ ├╴0
│ └╴1
└╴Lam v2
└╴Lam v1
└╴tup2
├╴sel2
│ └╴v1
└╴(+)
├╴sel1
│ └╴v1
└╴sel2
└╴v1