MAYBE


Termination: (Ranking Functions Found)
------------
n_f565_0_loop_NE___2: < < arg2 > >
n_f564_0_loop_NE___19: < < 17 * arg1 -20 * arg3 > >
n_f490_0_loop_GT___3: < < arg3 > >
n_f565_0_loop_NE___9: < < -1 + arg1 > >
f490_0_loop_GT: < < arg1 >, < arg1 > >
f564_0_loop_NE: < < 2 + arg4 >, < 2 + arg4 > >
n_f490_0_loop_GT___11: < < arg1 > >
f573_0_loop_NE: < < arg1 >, < arg1 > >
n_f490_0_loop_GT___20: < < 340 -20 * arg3 > >
f565_0_loop_NE: < < arg1 >, < arg1 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t6
+--nodes: n_n_n_f490_0_loop_GT___10___3___3