rec
%X
nat
%Y
nat
yap
xap
F
%X
%Y
Y
0
Y
rec
%Z
nat
%U
nat
yap
xap
G
%Z
%U
V
s
W
yap
xap
G
W
rec
%V
nat
%W
nat
yap
xap
G
%V
%W
V
W
succ
P
X1
s
X1
add
Y1
U1
rec
%F
nat
%G
nat
yap
xap
succ
%F
%G
Y1
U1
add
V1
0
V1
add
W1
s
P1
s
add
W1
P1
xap
F2
Y2
F2
Y2
yap
G2
V2
G2
V2
F
nat
nat
nat
Y
nat
G
nat
nat
nat
V
nat
W
nat
P
nat
X1
nat
Y1
nat
U1
nat
V1
nat
W1
nat
P1
nat
F2
nat
nat
nat
Y2
nat
G2
nat
nat
V2
nat
0
nat
add
nat
nat
nat
rec
nat
nat
nat
nat
nat
nat
s
nat
nat
succ
nat
nat
nat
xap
nat
nat
nat
nat
nat
nat
yap
nat
nat
nat
nat
FULL
/tmp/tmpfile.afsm