MAYBE


Termination: (Ranking Functions Found)
------------
f961_0_loop_aux_NE: < < -4 + arg2 >, < arg2 >, < arg2 > >
f887_0_loop_aux_GT: < < -4 + arg1 >, < arg1 >, < arg1 > >
n_f887_0_loop_aux_GT___20: < < arg3 > >
n_f887_0_loop_aux_GT___8: < < 153 -9 * arg3 > >
n_f962_0_loop_aux_NE___21: < < arg1 > >
n_f962_0_loop_aux_NE___10: < < -1 + arg1 > >
f970_0_loop_aux_NE: < < -4 + arg1 >, < 1 + arg2 >, < arg1 > >
n_f961_0_loop_aux_NE___7: < < -9 * arg1 + 8 * arg5 > >
f962_0_loop_aux_NE: < < -4 + arg2 >, < arg2 >, < arg2 > >
n_f887_0_loop_aux_GT___12: < < arg3 > >


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