rec
F
Z
0
Z
g
U
true
h
V
I
P
false
iszero
X1
Y1
rec
h
g
X1
Y1
pred
0
0
pred
s
U1
U1
g2
V1
iszero
V1
0
h2
W1
J1
X2
J1
pred
X2
geq
Y2
U2
rec
h2
g2
Y2
U2
F
N
N
B
N
B
Z
N
B
U
N
V
N
I
N
B
P
N
X1
N
Y1
N
U1
N
V1
N
W1
N
J1
N
B
X2
N
Y2
N
U2
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