if
if
x
y
z
u
v
if
x
if
y
u
v
if
z
u
v
2.2
if
if
x
y
z
u
v
if
y
u
v
if
if
x
y
z
u
v
if
z
u
v
if
if
x
y
z
u
v
if
x
if
y
u
v
if
z
u
v
true
if
if
x
y
z
u
v
if
x
if
y
u
v
if
z
u
v
if
if
x
y
z
u
v
if
z
u
v
if
if
x
y
z
u
v
if
y
u
v
true
if
3
1
2
3
1
if
3
1
0
NaTT
certifiable-1.6