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