eq
0
0
true
eq
0
s
X
false
eq
s
Y
0
false
eq
s
U
s
V
eq
U
V
or
true
W
true
or
false
P
P
union
empty
X1
X1
union
edge
V1
W1
U1
Y1
edge
V1
W1
union
U1
Y1
reach
X2
Y2
empty
P1
false
reach
X3
Y3
edge
W2
P2
V2
U2
if!6220reach!62201
eq
X3
W2
X3
Y3
edge
W2
P2
V2
U2
if!6220reach!62201
true
X4
Y4
edge
W3
P3
V3
U3
if!6220reach!62202
eq
Y4
P3
X4
Y4
edge
W3
P3
V3
U3
if!6220reach!62201
false
X5
Y5
edge
W4
P4
V4
U4
reach
X5
Y5
V4
edge
W4
P4
U4
if!6220reach!62202
true
X6
Y6
edge
W5
P5
V5
U5
true
if!6220reach!62202
false
X7
Y7
edge
W6
P6
V6
U6
or
reach
X7
Y7
V6
U6
reach
P6
Y7
union
V6
U6
empty
map
G7
nil
nil
map
H7
cons
W7
P7
cons
H7
W7
map
H7
P7
filter
F8
nil
nil
filter
Z8
cons
U8
V8
filter2
Z8
U8
Z8
U8
V8
filter2
true
I8
P8
X9
cons
P8
filter
I8
X9
filter2
false
Z9
U9
V9
filter
Z9
V9
X
a
Y
a
U
a
V
a
W
c
P
c
X1
b
Y1
b
U1
b
V1
a
W1
a
P1
b
X2
a
Y2
a
U2
b
V2
b
W2
a
P2
a
X3
a
Y3
a
U3
b
V3
b
W3
a
P3
a
X4
a
Y4
a
U4
b
V4
b
W4
a
P4
a
X5
a
Y5
a
U5
b
V5
b
W5
a
P5
a
X6
a
Y6
a
U6
b
V6
b
W6
a
P6
a
X7
a
Y7
a
G7
d
d
H7
d
d
W7
d
P7
e
F8
d
c
Z8
d
c
U8
d
V8
e
I8
d
c
P8
d
X9
e
Z9
d
c
U9
d
V9
e
0
a
cons
d
e
e
edge
a
a
b
b
empty
b
eq
a
a
c
false
c
filter
d
c
e
e
filter2
c
d
c
d
e
e
if!6220reach!62201
c
a
a
b
b
c
if!6220reach!62202
c
a
a
b
b
c
map
d
d
e
e
nil
e
or
c
c
c
reach
a
a
b
b
c
s
a
a
true
c
union
b
b
b
FULL
benchmarks/applicative/Applicative_first_order_05__#3.13.atrs