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
div
x
y
if
ge
y
s
0
ge
x
y
x
y
if
false
b
x
y
div_by_zero
if
true
false
x
y
0
if
true
true
x
y
id_inc
div
minus
x
y
y
ge
2
0
0
true
0
s
1
false
0
minus
2
id_inc
1
div
2
if
4
div_by_zero
0
INNERMOST
./TRS/SchneiderKamp/inn/thiemann28i.trs