WARNING: state f24 is unreachable
WARNING: state f27 is unreachable

==> main.fstb MAY NOT TERMINATE. 

Cycle with transition(s):

t2 [A = 0, B = 0, C = 1, D = 0, E = 1, F = 4, G = 0, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 1]

is likely to be an infinite loop.