neq
0
0
false
neq
0
s
X
true
neq
s
Y
0
true
neq
s
U
s
V
neq
U
V
filter
I
nil
nil
filter
J
cons
X1
Y1
filtersub
J
X1
J
cons
X1
Y1
filtersub
true
G1
cons
V1
W1
cons
V1
filter
G1
W1
filtersub
false
J1
cons
X2
Y2
filter
J1
Y2
nonzero
filter
neq
0
X
a
Y
a
U
a
V
a
I
a
b
J
a
b
X1
a
Y1
c
G1
a
b
V1
a
W1
c
J1
a
b
X2
a
Y2
c
0
a
cons
a
c
c
false
b
filter
a
b
c
c
filtersub
b
a
b
c
c
neq
a
a
b
nil
c
nonzero
c
c
s
a
a
true
b
FULL
benchmarks/applicative/AotoYamada_05__016.atrs