del
.
x
.
y
z
f
=
x
y
x
y
z
f
true
x
y
z
del
.
y
z
f
false
x
y
z
.
x
del
.
y
z
=
nil
nil
true
=
.
x
y
nil
false
=
nil
.
y
z
false
=
.
x
y
.
u
v
and
=
x
u
=
y
v
2.2
=
.
x
y
.
u
v
=
x
u
del
.
x
.
y
z
=
x
y
del
.
x
.
y
z
f
=
x
y
x
y
z
=
.
x
y
.
u
v
=
y
v
f
true
x
y
z
del
.
y
z
f
false
x
y
z
del
.
y
z
true
f
false
x
y
z
del
.
y
z
f
true
x
y
z
del
.
y
z
del
.
x
.
y
z
f
=
x
y
x
y
z
true
del
1
1
0
v
0
1
u
0
1
and
2
1
0
false
0
1
true
0
1
f
4
0
del
1
0
=
2
1
nil
0
1
f
4
1
2
3
4
2
.
2
1
2
2
=
2
0
=
nil
nil
true
=
.
x
y
nil
false
=
.
x
y
.
u
v
and
=
x
u
=
y
v
=
nil
.
y
z
false
del
.
x
.
y
z
=
x
y
false
=
.
x
y
.
u
v
=
y
v
false
=
.
x
y
.
u
v
=
x
u
false
NaTT
certifiable-1.6