app
nil
k
k
app
l
nil
l
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
nil
cons
x
nil
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
plus
0
y
y
plus
s
x
y
s
plus
x
y
app
2
nil
0
cons
2
sum
1
plus
2
AC
0
0
s
1
FULL
./TRS/AProVE_AC/AC49.trs