intlist
nil
nil
int
s
x
0
nil
int
x
x
cons
x
nil
intlist
cons
x
y
cons
s
x
intlist
y
int
s
x
s
y
intlist
int
x
y
int
0
s
y
cons
0
int
s
0
s
y
intlist
cons
x
nil
cons
s
x
nil
intlist
1
nil
0
int
2
s
1
0
0
cons
2
INNERMOST
./TRS/AProVE/LPAR_intlist.trs