function
iszero
0
dummy
dummy2
true
function
iszero
s
x
dummy
dummy2
false
function
p
0
dummy
dummy2
0
function
p
s
0
dummy
dummy2
0
function
p
s
s
x
dummy
dummy2
s
function
p
s
x
x
x
function
plus
dummy
x
y
function
if
function
iszero
x
x
x
x
y
function
if
true
x
y
y
function
if
false
x
y
function
plus
function
third
x
y
y
function
p
x
x
y
s
y
function
third
x
y
z
z
2.2
function
plus
dummy
x
y
function
iszero
x
x
x
function
if
false
x
y
function
p
x
x
y
function
if
false
x
y
function
third
x
y
y
function
p
s
s
x
dummy
dummy2
function
p
s
x
x
x
function
plus
dummy
x
y
function
if
function
iszero
x
x
x
x
y
function
if
false
x
y
function
plus
function
third
x
y
y
function
p
x
x
y
s
y
true
function
if
false
x
y
function
plus
function
third
x
y
y
function
p
x
x
y
s
y
function
plus
dummy
x
y
function
if
function
iszero
x
x
x
x
y
true
Failed!
NaTT
certifiable-1.6