WARNING: state f7 is unreachable
WARNING: state f8 is unreachable

==> YES, main.fstb terminates. max_dim = 1

+-----------------------------------------------------------------------------+
|                             Ranking Function                                |
+-----------------------------------------------------------------------------+

state f12:
402

state f5:
401+(-1*B)

state f11:
0

state f10:
0

state f7:

state f8:

state ____f12:
403


Ranking:unimodularize: empty ranking function