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

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

state start:
2

state stop:
0

state lbl92:
1
60+(-15*D)

state lbl82:
1
(58+(-1*B))+(-11*H)

state start0:
3

state ____start0:
4