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

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

state start:
1
4*D

state stop1:
0

state cont1:
1
-1+(4*D)

state stop2:
0

state a:
1
-2+(4*D)

state b:
1
1+(4*D)

state stop3:
0

state start0:
2

state ____start0:
3


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

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

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

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

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

\---