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

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

state evalsipma91start:
5

state evalsipma91entryin:
4

state evalsipma91returnin:
1

state evalsipma91bb3in:
3
111+(-1*B)

state evalsipma91bb2in:
3
101+(-1*B)

state evalsipma91bb11in:
2
(299+(40*A))+(-3*B)

state evalsipma91bb5in:
2
(298+(40*A))+(-3*B)

state evalsipma91bb8in:
2
(267+(40*A))+(-3*C)

state evalsipma91stop:
0

state ____evalsipma91start:
6


Expression::from_enode: periodic numbers not handled