ge
x
0
true
ge
0
s
x
false
ge
s
x
s
y
ge
x
y
minus
x
0
x
minus
s
x
s
y
minus
x
y
div
x
y
ify
ge
y
s
0
x
y
ify
false
x
y
divByZeroError
ify
true
x
y
if
ge
x
y
x
y
if
false
x
y
0
if
true
x
y
s
div
minus
x
y
y
2.2
div
x
y
ge
y
s
0
ge
s
x
s
y
ge
x
y
ify
true
x
y
if
ge
x
y
x
y
minus
s
x
s
y
minus
x
y
if
true
x
y
div
minus
x
y
y
div
x
y
ify
ge
y
s
0
x
y
ify
true
x
y
ge
x
y
if
true
x
y
minus
x
y
true
div
x
y
ify
ge
y
s
0
x
y
if
true
x
y
div
minus
x
y
y
ify
true
x
y
if
ge
x
y
x
y
true
Failed!
NaTT
certifiable-1.6