VL
Size: a a a
VL
VL
W
VL
a
A
a
A
W
((lambda (x) (+ x x)) 1)
A
W
((lambda (x) (+ x x)) 1)
W
a
(+ 1 ((lambda (x) (+ x x)) 1))
W
(+ 1 ((lambda (x) (+ x x)) 1))
A
A
A
W
(+ 1 ((lambda (x) (+ x x)) 1))
W
(+ 1 ((lambda (x) (+ x x)) 1))
W
(+ 1 ((lambda (x) (+ x x)) 1))