or
true
y
true
or
x
true
true
or
false
false
false
mem
x
nil
false
mem
x
set
y
=
x
y
mem
x
union
y
z
or
mem
x
y
mem
x
z
2.2
mem
x
union
y
z
mem
x
y
mem
x
union
y
z
mem
x
z
mem
x
union
y
z
or
mem
x
y
mem
x
z
true
mem
x
union
y
z
mem
x
z
mem
x
union
y
z
mem
x
y
true
mem
2
0
false
0
0
mem
2
2
0
true
0
0
=
2
0
union
2
1
2
1
nil
0
0
or
2
0
set
1
0
or
2
0
mem
x
union
y
z
or
mem
x
y
mem
x
z
false
NaTT
certifiable-1.6