incr
nil
nil
incr
cons
X
L
cons
s
X
incr
L
adx
nil
nil
adx
cons
X
L
incr
cons
X
adx
L
nats
adx
zeros
zeros
cons
0
zeros
head
cons
X
L
X
tail
cons
X
L
L
incr
1
nil
0
cons
2
s
1
adx
1
nats
0
zeros
0
0
0
head
1
tail
1
INNERMOST
./TRS/nontermin/CSR/ExIntrod_GM01.trs