eq
0
0
true
eq
0
s
x
false
eq
s
x
0
false
eq
s
x
s
y
eq
x
y
rm
n
nil
nil
rm
n
add
m
x
if_rm
eq
n
m
n
add
m
x
if_rm
true
n
add
m
x
rm
n
x
if_rm
false
n
add
m
x
add
m
rm
n
x
purge
nil
nil
purge
add
n
x
add
n
purge
rm
n
x
eq
2
C
0
0
true
0
s
1
false
0
rm
2
nil
0
add
2
if_rm
3
purge
1
FULL
./TRS/AProVE_AC/AC45.trs