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

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

state evalspeedpldi4start:
4

state evalspeedpldi4entryin:
3

state evalspeedpldi4returnin:
1

state evalspeedpldi4bb5in:
2
3*B

state evalspeedpldi4bb2in:
2
-1+(3*B)

state evalspeedpldi4bb3in:
2
-2+(3*B)

state evalspeedpldi4bb4in:
2
(1+(-3*A))+(3*B)

state evalspeedpldi4stop:
0

state ____evalspeedpldi4start:
5


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

/---
/
| -2+A__o' >= 0
| (-1+(-1*A__o'))+B__o' >= 0
| 1 >= 0
\

(((((((1+1)+1)+(1+B__o'))+B__o')+(-1+A__o'))+((1+B__o')+(-1*A__o')))+1)+1

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

((((((1+1)+1)+(1+B__o'))+B__o')+((1+B__o')+(-1*A__o')))+1)+1

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

(((1+1)+1)+1)+1

/
| A__o'+(-1*B__o') >= 0
| -2+A__o' >= 0
| 1 >= 0
\

(((1+1)+1)+1)+1

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

(((1+1)+1)+1)+1

\---