MAYBE


Termination: (Ranking Functions Found)
------------
n_f131_0_loop_LE___8: < < 28 - arg1 > >
n_f131_0_loop_LE___1: < < arg1 > >
n_f89_0_loop_LE___10: < < 49 - arg1 > >
n_f89_0_loop_LE___11: < < 29 - arg1 > >
n_f131_0_loop_LE___7: < < 28 - arg1 > >
n_f131_0_loop_LE___4: < < 48 - arg1 > >
n_f89_0_loop_LE___2: < < arg1 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t10
+--nodes: n_n_n_f89_0_loop_LE___6___2___1