nonZero
0
false
nonZero
s
x
true
p
0
0
p
s
x
x
id_inc
x
x
id_inc
x
s
x
random
x
rand
x
0
rand
x
y
if
nonZero
x
x
y
if
false
x
y
y
if
true
x
y
rand
p
x
id_inc
y
2.2
if
true
x
y
rand
p
x
id_inc
y
rand
x
y
nonZero
x
rand
x
y
if
nonZero
x
x
y
if
true
x
y
p
x
random
x
rand
x
0
if
true
x
y
id_inc
y
true
random
x
rand
x
0
false
rand
x
y
if
nonZero
x
x
y
if
true
x
y
rand
p
x
id_inc
y
true
Failed!
NaTT
certifiable-1.6