app
nil
X
X
app
cons
Y
U
V
cons
Y
app
U
V
foldl
%X
list
%Y
nat
yap
xap
I
%X
%Y
P
nil
P
foldl
%Z
list
%U
nat
yap
xap
F1
%Z
%U
Y1
cons
U1
V1
foldl
%V
list
%W
nat
yap
xap
F1
%V
%W
yap
xap
F1
Y1
U1
V1
iconsc
W1
P1
cons
P1
W1
reverse
X2
foldl
%F
list
%G
nat
yap
xap
iconsc
%F
%G
nil
X2
reverse1
Y2
foldl
%I
list
%H
nat
app
cons
%H
nil
%I
nil
Y2
xap
G2
V2
G2
V2
yap
I2
P2
I2
P2
X
list
Y
nat
U
list
V
list
I
list
nat
list
P
list
F1
list
nat
list
Y1
list
U1
nat
V1
list
W1
list
P1
nat
X2
list
Y2
list
G2
list
nat
list
V2
list
I2
nat
list
P2
nat
app
list
list
list
cons
nat
list
list
foldl
list
nat
list
list
list
list
iconsc
list
nat
list
nil
list
reverse
list
list
reverse1
list
list
xap
list
nat
list
list
nat
list
yap
nat
list
nat
list
FULL
/tmp/tmpfile.afsm