==> main.fstb MAY NOT TERMINATE. 

Cycle with transition(s):

t4 [A = 1, B = 0, A__o = 1, B__o = 0]
 -> t7 [A = 1, B = 0, A__o = 1, B__o = 0]
 -> t9 [A = 1, B = 0, A__o = 1, B__o = 0]

is likely to be an infinite loop.