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

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

state start:
2

state stop:
0

state lbl171:
1
(((1674+(-35*A))+(7*B))+(-7*C))+(-19*D)

state lbl151:
1
(((1597+(-35*A))+B)+(-7*C))+(-13*D)

state start0:
3

state ____start0:
4