MAYBE


Termination: (Ranking Functions Found)
------------
l0: < < 99 -i_0 > >
l2: < < 99 -i_0 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t10,t18,t4,t5,t6,t7,t8
+--nodes: l5,l6,l7,l8,l9
SCC:
+--transitions: t11,t16,t17,t19,t20,t21,t23
+--nodes: l10,l11,l14,l15,l16

deterministic: True
method 4