app
nil
X
X
app
cons
Y
U
V
cons
Y
app
U
V
foldl
%Y
list
%X
nat
I
%Y
%X
P
nil
P
foldl
%U
list
%Z
nat
F1
%U
%Z
Y1
cons
U1
V1
foldl
%W
list
%V
nat
F1
%W
%V
F1
Y1
U1
V1
iconsc
W1
P1
cons
P1
W1
reverse
X2
foldl
%G
list
%F
nat
iconsc
%G
%F
nil
X2
reverse1
Y2
foldl
%H
list
%I
nat
app
cons
%I
nil
%H
nil
Y2
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
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
FULL
/tmp/tmpfile.afsm