==> main.fstb MAY NOT TERMINATE. 

Cycle with transition(s):

t3 [A = 2, B = 1, C = 0, D = 0, E = 1, F = 0, G = 0, H = 1, I = 0, J = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0, H__o = 0, I__o = 0, J__o = 0]
 -> t6 [A = 2, B = 1, C = 0, D = 0, E = 1, F = 0, G = 0, H = 1, I = 0, J = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0, H__o = 0, I__o = 0, J__o = 0]
 -> t8 [A = 2, B = 1, C = 0, D = 0, E = 1, F = 0, G = 0, H = 1, I = 0, J = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0, H__o = 0, I__o = 0, J__o = 0]
 -> t11 [A = 2, B = 1, C = 0, D = 0, E = 1, F = 0, G = 0, H = 1, I = 0, J = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0, H__o = 0, I__o = 0, J__o = 0]
 -> t15 [A = 2, B = 1, C = 0, D = 0, E = 1, F = 0, G = 0, H = 1, I = 0, J = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0, H__o = 0, I__o = 0, J__o = 0]
 -> t22 [A = 2, B = 1, C = 0, D = 0, E = 1, F = 0, G = 0, H = 1, I = 0, J = 1, A__o = 0, B__o = 0, C__o = 0, D__o = 0, E__o = 0, F__o = 0, G__o = 0, H__o = 0, I__o = 0, J__o = 0]

is likely to be an infinite loop.