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

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

state evalrandom1dstart:
4

state evalrandom1dentryin:
3

state evalrandom1dbb5in:
2
(2+(2*A))+(-2*B)

state evalrandom1dreturnin:
1

state evalrandom1dbb1in:
2
(1+(2*A))+(-2*B)

state evalrandom1dstop:
0

state ____evalrandom1dstart:
5


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

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

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

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

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

\---