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
ifrm
eq
N
M
N
add
M
X
ifrm
true
N
add
M
X
rm
N
X
ifrm
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
0
0
true
0
s
1
false
0
rm
2
nil
0
add
2
ifrm
3
purge
1
INNERMOST
./TRS/Rubio/elimdupl.trs