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
2.2
if
true
true
x
y
z
div
minus
x
y
y
id_inc
z
div
x
y
z
if
ge
y
s
0
ge
x
y
x
y
z
ge
s
x
s
y
ge
x
y
div
x
y
z
ge
y
s
0
quot
x
y
div
x
y
0
if
true
true
x
y
z
minus
x
y
minus
s
x
s
y
minus
x
y
div
x
y
z
ge
x
y
if
true
true
x
y
z
id_inc
z
true
quot
x
y
div
x
y
0
false
div
x
y
z
if
ge
y
s
0
ge
x
y
x
y
z
if
true
true
x
y
z
div
minus
x
y
y
id_inc
z
true
Failed!
NaTT
certifiable-1.6