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

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

state eval0:
3

state eval1:
2

state end:
0

state eval3:
1
111+(-1*A)

state eval5:
0
(398+(-4*A))+(42*C)

state eval7:
0
(399+(-4*A))+(42*C)

state eval9:
0
(398+(-4*A))+(42*C)

state eval11:
0
(397+(-4*A))+(42*C)

state ____eval0:
4


Expression::from_enode: periodic numbers not handled