plus
x
y
plusIter
x
y
0
plusIter
x
y
z
ifPlus
le
x
z
x
y
z
ifPlus
true
x
y
z
y
ifPlus
false
x
y
z
plusIter
x
s
y
s
z
le
s
x
0
false
le
0
y
true
le
s
x
s
y
le
x
y
sum
xs
sumIter
xs
0
sumIter
xs
x
ifSum
isempty
xs
xs
x
plus
x
head
xs
ifSum
true
xs
x
y
x
ifSum
false
xs
x
y
sumIter
tail
xs
y
isempty
nil
true
isempty
cons
x
xs
false
head
nil
error
head
cons
x
xs
x
tail
nil
nil
tail
cons
x
xs
xs
a
b
a
c
plus
2
plusIter
3
0
0
ifPlus
4
le
2
true
0
false
0
s
1
sum
1
sumIter
2
ifSum
4
isempty
1
head
1
tail
1
nil
0
cons
2
error
0
a
0
b
0
c
0
INNERMOST
./TRS/secret07/aprove/aprove07.trs