sum
x
y
S
int
x
y
S
nil
0
S
cons
x
xs
plus
x
S
xs
plus
x
0
x
plus
x
s
y
s
plus
x
y
int
0
0
cons
0
nil
int
0
s
y
cons
0
int
s
0
s
y
int
s
x
0
nil
int
s
x
s
y
intlist
int
x
y
intlist
nil
nil
intlist
cons
x
y
cons
s
x
intlist
y
sum
2
S
1
int
2
nil
0
0
0
cons
2
plus
2
AC
s
1
intlist
1
FULL
./TRS/AProVE_AC/AC07.trs