minus
0
Y
0
minus
s
X
s
Y
minus
X
Y
geq
X
0
true
geq
0
s
Y
false
geq
s
X
s
Y
geq
X
Y
div
0
s
Y
0
div
s
X
s
Y
if
geq
X
Y
s
div
minus
X
Y
s
Y
0
if
true
X
Y
X
if
false
X
Y
Y
minus
2
0
0
s
1
geq
2
true
0
false
0
div
2
if
3
FULL
./TRS/nontermin/CSR/Ex49_GM04.trs