isEmpty
cons
`x`
`xs`
false
isEmpty
nil
true
isZero
0
true
isZero
s
`x`
false
head
cons
`x`
`xs`
`x`
tail
cons
`x`
`xs`
`xs`
tail
nil
nil
append
nil
`x`
cons
`x`
nil
append
cons
`y`
`ys`
`x`
cons
`y`
append
`ys`
`x`
p
s
s
`x`
s
p
s
`x`
p
s
0
0
p
0
0
inc
s
`x`
s
inc
`x`
inc
0
s
0
addLists
`xs`
`ys`
`zs`
if
isEmpty
`xs`
isEmpty
`ys`
isZero
head
`xs`
tail
`xs`
tail
`ys`
cons
p
head
`xs`
tail
`xs`
cons
inc
head
`ys`
tail
`ys`
`zs`
append
`zs`
head
`ys`
if
true
true
`b`
`xs`
`ys`
`xs2`
`ys2`
`zs`
`zs2`
`zs`
if
true
false
`b`
`xs`
`ys`
`xs2`
`ys2`
`zs`
`zs2`
differentLengthError
if
false
true
`b`
`xs`
`ys`
`xs2`
`ys2`
`zs`
`zs2`
differentLengthError
if
false
false
false
`xs`
`ys`
`xs2`
`ys2`
`zs`
`zs2`
addLists
`xs2`
`ys2`
`zs`
if
false
false
true
`xs`
`ys`
`xs2`
`ys2`
`zs`
`zs2`
addLists
`xs`
`ys`
`zs2`
addList
`xs`
`ys`
addLists
`xs`
`ys`
nil
isEmpty
1
cons
2
false
0
nil
0
true
0
isZero
1
0
0
s
1
head
1
tail
1
append
2
p
1
inc
1
addLists
3
if
9
differentLengthError
0
addList
2
FULL
./TRS/secret06/aprove/addList.trs