foldr
%X
a
%Y
b
yap
xap
F
%X
%Y
Y
nil
Y
foldr
%Z
a
%U
b
yap
xap
G
%Z
%U
V
cons
W
P
yap
xap
G
W
foldr
%V
a
%W
b
yap
xap
G
%V
%W
V
P
xap
F1
Y1
F1
Y1
yap
G1
V1
G1
V1
F
a
b
b
Y
b
G
a
b
b
V
b
W
a
P
b
F1
a
b
b
Y1
a
G1
b
b
V1
b
cons
a
b
b
foldr
a
b
b
b
b
b
nil
b
xap
a
b
b
a
b
b
yap
b
b
b
b
FULL
/tmp/tmpfile.afsm