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

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

state start:
3

state a:
2

state d:
1
(2*A)+(-2*C)

state b:
1
(-1+(2*A))+(-2*C)
(2+(2*A))+(-2*G)

state halt:
0

state c:
1
(-1+(2*A))+(-2*C)
(1+(2*A))+(-2*G)
(-1*C)+E

state start0:
4

state ____start0:
5


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

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

((((((1+1)+A__o')+((-1+((1/2)*A__o'))+((1/2)*(A__o'*A__o'))))+1)+(((-1/3)*A__o')+((1/3)*((A__o'*A__o')*A__o'))))+1)+1

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

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

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

(1+1)+1

\---