+
0
y
y
+
s
x
y
s
+
x
y
sum1
nil
0
sum1
cons
x
y
+
x
sum1
y
sum2
nil
z
z
sum2
cons
x
y
z
sum2
y
+
x
z
tests
0
true
tests
s
x
and
test
rands
rand
0
nil
x
test
done
y
eq
f
y
g
y
eq
x
x
true
rands
0
y
done
y
rands
s
x
y
rands
x
::
rand
0
y
rand
x
x
rand
x
rand
s
x
true
0
rands
2
done
1
sum1
1
and
2
rand
1
g
1
nil
0
s
1
eq
2
+
2
::
2
tests
1
f
1
0
0
cons
2
test
1
sum2
2
FULL