==> main.fstb MAY NOT TERMINATE. 

Cycle with transition(s):

t0 [A = 0, B = 0, C = 0, D = 1, E = 2, F = 0, G = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0]
 -> t2 [A = 0, B = 0, C = 0, D = 1, E = 2, F = 0, G = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0]
 -> t9 [A = 0, B = 0, C = 0, D = 1, E = 2, F = 0, G = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0]
 -> t3 [A = 0, B = 0, C = 0, D = 1, E = 2, F = 0, G = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0]

is likely to be an infinite loop.