rec
F
Z
0
Z
rec
G
H
s
W
G
W
rec
G
H
W
g
P
true
h
X1
Z1
U1
false
iszero
V1
W1
rec
h
g
V1
W1
pred
0
0
pred
s
P1
P1
g2
X2
iszero
X2
0
h2
Y2
G2
V2
G2
pred
V2
geq
W2
P2
rec
h2
g2
W2
P2
F
N
N
B
N
B
Z
N
B
G
N
N
B
N
B
H
N
B
W
N
P
N
X1
N
Z1
N
B
U1
N
V1
N
W1
N
P1
N
X2
N
Y2
N
G2
N
B
V2
N
W2
N
P2
N
0
N
false
B
g
N
B
g2
N
B
geq
N
N
B
h
N
N
B
N
B
h2
N
N
B
N
B
iszero
N
N
B
pred
N
N
rec
N
N
B
N
B
B
N
B
s
N
N
true
B
FULL
/tmp/tmpfile.afsm