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

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

state start:
20

state lbl51:
19+(-2*C)

state stop:
0

state cut:
20+(-2*A)

state start0:
21

state ____start0:
22


+-----------------------------------------------------------------------------+
|                         Worst Case Execution Time                           |
+-----------------------------------------------------------------------------+

/---
/
| 1 >= 0
\

((((1+10)+1)+9)+1)+1

\---