==> main.fstb MAY NOT TERMINATE. 

Cycle with transition(s):

t0 [A = 5, B = 6, C = 4, D = 5, E = 4, A__o = 0, B__o = 6, C__o = 0, D__o = 0, E__o = 0]

is likely to be an infinite loop.