rec
X
Z
G
0
X
rec
V
I
J
s
X1
I
X1
rec
V
I
J
X1
rec
U1
H1
I1
lim
Z1
I1
Z1
rectuv
U1
H1
I1
Z1
n
rectuv
P1
F2
Z2
n
rec
P1
F2
Z2
n
X
b
Z
a
b
b
G
a
a
b
b
V
b
I
a
b
b
J
a
a
b
b
X1
a
Z1
a
a
U1
b
H1
a
b
b
I1
a
a
b
b
P1
b
F2
a
b
b
Z2
a
a
b
b
0
a
lim
a
a
a
n
a
rec
b
a
b
b
a
a
b
b
a
b
rectuv
b
a
b
b
a
a
b
b
a
b
s
a
a
FULL
benchmarks/applicative/Applicative_05__Ex7OrdinalRec.atrs