plus
0
X
X
plus
s
Y
U
s
plus
Y
U
times
0
V
0
times
s
W
P
plus
times
W
P
P
comp
F1
Z1
U1
F1
Z1
U1
twice
H1
comp
H1
H1
X
a
Y
a
U
a
V
a
W
a
P
a
F1
b
b
Z1
b
b
U1
b
H1
b
b
0
a
comp
b
b
b
b
b
b
plus
a
a
a
s
a
a
times
a
a
a
twice
b
b
b
b
FULL
benchmarks/applicative/AotoYamada_05__020.atrs