if
true
X
Y
X
if
false
U
V
V
sub
W
0
W
sub
s
P
s
X1
sub
P
X1
gtr
0
Y1
false
gtr
s
U1
0
true
gtr
s
V1
s
W1
gtr
V1
W1
d
P1
0
true
d
s
X2
s
Y2
if
gtr
X2
Y2
false
d
s
X2
sub
Y2
X2
len
nil
0
len
cons
U2
V2
s
len
V2
filter
I2
nil
nil
filter
J2
cons
X3
Y3
if
J2
X3
cons
X3
filter
J2
Y3
filter
J2
Y3
X
c
Y
c
U
c
V
c
W
a
P
a
X1
a
Y1
a
U1
a
V1
a
W1
a
P1
a
X2
a
Y2
a
U2
b
V2
c
I2
b
c
J2
b
c
X3
b
Y3
c
0
a
cons
b
c
c
d
a
a
c
false
c
filter
b
c
c
c
gtr
a
a
c
if
c
c
c
c
len
c
a
nil
c
s
a
a
sub
a
a
a
true
c
FULL
benchmarks/applicative/Applicative_05__Ex7_9.atrs