plus
0
X
X
plus
s
Y
U
s
plus
Y
U
inc
V
map
plus
s
0
V
map
I
nil
nil
map
J
cons
X1
Y1
cons
J
X1
map
J
Y1
X
a
Y
a
U
a
V
b
I
a
a
J
a
a
X1
a
Y1
b
0
a
cons
a
b
b
inc
b
b
map
a
a
b
b
nil
b
plus
a
a
a
s
a
a
FULL
benchmarks/applicative/AotoYamada_05__027.atrs