sum
cons
s
n
x
cons
m
y
sum
cons
n
x
cons
s
m
y
sum
cons
0
x
y
sum
x
y
sum
nil
y
y
empty
nil
true
empty
cons
n
x
false
tail
nil
nil
tail
cons
n
x
x
head
cons
n
x
n
weight
x
if
empty
x
empty
tail
x
x
if
true
b
x
weight_undefined_error
if
false
b
x
if2
b
x
if2
true
x
head
x
if2
false
x
weight
sum
x
cons
0
tail
tail
x
sum
2
cons
2
s
1
0
0
nil
0
empty
1
true
0
false
0
tail
1
head
1
weight
1
if
3
weight_undefined_error
0
if2
2
INNERMOST
./TRS/SchneiderKamp/trs/thiemann17.trs