ge
x
0
true
ge
0
s
y
false
ge
s
x
s
y
ge
x
y
minus
x
0
x
minus
0
y
0
minus
s
x
s
y
minus
x
y
id_inc
x
x
id_inc
x
s
x
quot
x
y
div
x
y
0
div
x
y
z
if
ge
y
s
0
ge
x
y
x
y
z
if
false
b
x
y
z
div_by_zero
if
true
false
x
y
z
z
if
true
true
x
y
z
div
minus
x
y
y
id_inc
z
ge
2
0
0
true
0
s
1
false
0
minus
2
id_inc
1
quot
2
div
3
if
5
div_by_zero
0
INNERMOST
./TRS/SchneiderKamp/trs/thiemann26.trs