==> main.fstb MAY NOT TERMINATE. 

Cycle with transition(s):

t1 [A = 0, B = 0, C = 1, D = 2, E = 1, F = 0, G = 0, H = 1, I = 2, J = 1, K = 1, L = 0, M = 0, N = 1, O = 0, P = 0, Q = 1, R = 1, S = 1, T = 0, U = 0, 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, K__o = 0, L__o = 0, M__o = 0, N__o = 0, O__o = 0, P__o = 0, Q__o = 0, R__o = 0, S__o = 0, T__o = 0, U__o = 0]
 -> t4 [A = 0, B = 0, C = 0, D = 3, E = 1, F = 0, G = 0, H = 0, I = 3, J = 1, K = 2, L = 0, M = 0, N = 1, O = 0, P = 0, Q = 1, R = 1, S = 1, T = 0, U = 0, 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, K__o = 0, L__o = 0, M__o = 0, N__o = 0, O__o = 0, P__o = 0, Q__o = 0, R__o = 0, S__o = 0, T__o = 0, U__o = 0]

is likely to be an infinite loop.