if
true
x
y
x
if
false
x
y
y
eq
0
0
true
eq
0
s
x
false
eq
s
x
s
y
eq
x
y
union
empty
x
x
inter
empty
x
empty
inter
union
y
z
x
union
inter
x
y
inter
x
z
inter
singl
x
singl
y
if
eq
x
y
singl
x
empty
if
3
true
0
false
0
eq
2
C
0
0
s
1
union
2
AC
empty
0
inter
2
AC
singl
1
FULL
./TRS/CimeAC/intersect.trs