MAYBE


Termination: (Ranking Functions Found)
------------
n_f128_0_loop_aux_EQ___6: < < -8 + arg2 >, < -8 + arg2 > >
n_f128_0_loop_aux_EQ___1: < < 0 >, < 0 > >
n_f128_0_loop_aux_EQ___3: < < 0 >, < 0 > >
n_n_n_f99_0_loop_aux_LE___7___1___2: < < arg3 > >
n_f99_0_loop_aux_LE___10: < < 0 >, < 0 > >
n_f128_0_loop_aux_EQ___5: < < 0 >, < 0 > >
n_n_n_f99_0_loop_aux_LE___8___3___1: < < 8 > >
n_f128_0_loop_aux_EQ___11: < < -8 + arg2 > >
n_n_f99_0_loop_aux_LE___8___3: < < 8 >, < 8 > >
n_f99_0_loop_aux_LE___9: < < 0 >, < 0 > >
n_f99_0_loop_aux_LE___8: < < 0 >, < 0 > >
n_f99_0_loop_aux_LE___7: < < -8 + arg3 >, < -8 + arg3 > >
n_n_f128_0_loop_aux_EQ___11___4: < < -1 + arg2 > >
n_n_f99_0_loop_aux_LE___4___2: < < 8 >, < 8 > >
n_f128_0_loop_aux_EQ___2: < < 0 >, < 0 > >
n_f99_0_loop_aux_LE___4: < < 0 >, < 0 > >
n_f128_0_loop_aux_EQ___12: < < 0 >, < 0 > >
n_n_f99_0_loop_aux_LE___7___1: < < arg3 >, < arg3 > >
n_n_n_f99_0_loop_aux_LE___4___2___3: < < 8 > >


Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t11,t12,t13,t6,t7,t8
+--nodes: n_n_n_f99_0_loop_aux_LE___4___2___3,n_n_n_f99_0_loop_aux_LE___7___1___2,n_n_n_f99_0_loop_aux_LE___8___3___1