empty
nil
true
empty
cons
x
y
false
tail
nil
nil
tail
cons
x
y
y
head
cons
x
y
x
zero
0
true
zero
s
x
false
p
0
0
p
s
0
0
p
s
s
x
s
p
s
x
intlist
x
if_intlist
empty
x
x
if_intlist
true
x
nil
if_intlist
false
x
cons
s
head
x
intlist
tail
x
int
x
y
if_int
zero
x
zero
y
x
y
if_int
true
b
x
y
if1
b
x
y
if_int
false
b
x
y
if2
b
x
y
if1
true
x
y
cons
0
nil
if1
false
x
y
cons
0
int
s
0
y
if2
true
x
y
nil
if2
false
x
y
intlist
int
p
x
p
y
empty
1
nil
0
true
0
cons
2
false
0
tail
1
head
1
zero
1
0
0
s
1
p
1
intlist
1
if_intlist
2
int
2
if_int
4
if1
3
if2
3
INNERMOST
./TRS/SchneiderKamp/trs/thiemann14.trs