+
0
x
x
+
s
x
s
y
s
s
+
x
y
*
0
x
0
*
s
x
s
y
s
+
+
x
y
*
x
y
U
empty
b
b
sum
empty
0
sum
singl
x
x
sum
U
x
y
+
sum
x
sum
y
prod
empty
s
0
prod
singl
x
x
prod
U
x
y
*
prod
x
prod
y
+
2
AC
0
0
s
1
*
2
AC
U
2
AC
empty
0
sum
1
singl
1
prod
1
FULL
./TRS/CimeAC/bag-sum-prod.trs