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

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

state evalwcet1start:
4

state evalwcet1entryin:
3

state evalwcet1bbin:
2
-1+(4*C)

state evalwcet1returnin:
1

state evalwcet1bb1in:
2
-3+(4*C)

state evalwcet1bb4in:
2
-2+(4*C)

state evalwcet1bb6in:
2
-4+(4*C)

state evalwcet1bb5in:
2
-3+(4*C)

state evalwcet1stop:
0

state ____evalwcet1start:
5


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

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

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

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

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

\---