filter
F
nil
nil
filter
Z
cons
U
V
filtersub
Z
U
Z
cons
U
V
filtersub
true
I
cons
P
X1
cons
P
filter
I
X1
filtersub
false
Z1
cons
U1
V1
filter
Z1
V1
F
b
a
Z
b
a
U
b
V
c
I
b
a
P
b
X1
c
Z1
b
a
U1
b
V1
c
cons
b
c
c
false
a
filter
b
a
c
c
filtersub
a
b
a
c
c
nil
c
true
a
FULL
benchmarks/applicative/AotoYamada_05__002.atrs