foldl
%Y
nat
%X
nat
F
%Y
%X
Y
nil
Y
foldl
%U
nat
%Z
nat
G
%U
%Z
V
cons
W
P
foldl
%W
nat
%V
nat
G
%W
%V
G
V
W
P
plusc
X1
0
X1
plusc
Y1
s
U1
s
plusc
Y1
U1
sum
V1
foldl
%G
nat
%F
nat
plusc
%G
%F
0
V1
F
nat
nat
nat
Y
nat
G
nat
nat
nat
V
nat
W
nat
P
list
X1
nat
Y1
nat
U1
nat
V1
list
0
nat
cons
nat
list
list
foldl
nat
nat
nat
nat
list
nat
nil
list
plusc
nat
nat
nat
s
nat
nat
sum
list
nat
FULL
/tmp/tmpfile.afsm