cond
true
x
y
cond
gr
x
y
x
add
x
y
gr
0
x
false
gr
s
x
0
true
gr
s
x
s
y
gr
x
y
add
0
x
x
add
s
x
y
s
add
x
y
2.2
cond
true
x
y
cond
gr
x
y
x
add
x
y
gr
s
x
s
y
gr
x
y
cond
true
x
y
gr
x
y
add
s
x
y
add
x
y
cond
true
x
y
add
x
y
true
cond
true
x
y
cond
gr
x
y
x
add
x
y
true
Failed!
NaTT
certifiable-1.6