WARNING: state f8 is unreachable

==> main.fstb MAY NOT TERMINATE. 

Cycle with transition(s):

t2 [A = 3, A__o = 0]

is likely to be an infinite loop.