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

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

state start:
2

state stop:
0

state lbl42:
1
2+(3*D)
1+B

state cut:
1
3+(3*D)

state lbl72:
1
4+(3*D)
(1+(-1*B))+G

state start0:
3

state ____start0:
4


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

/---
/
| A__o' >= 0
| 1 >= 0
\

(((((1+1)+-1)+(1+A__o'))+-1)+1)+1

\---