NO


NON-Termination:
----------------
SCC:
+--transitions: t1,t10,t2,t3,t4,t5,t6,t7,t8,t9
+--nodes: n_n_f49_0_increase_LE_P___2___2,n_n_f49_0_increase_LE_P___4___4,n_n_f49_0_increase_LE___1___1,n_n_f49_0_increase_LE___3___3,n_n_f49_0_increase_LE___5___5
Closed walk: 6 -> t1, t3, t5, t7, t10, t4
Reachability checked!
- Recurrent Set Found:
{
	1 + arg1 -arg1P == 0,
	2 + arg1 -X8 == 0,
	2 + arg1 -X6 == 0,
	3 + arg1 -X4 == 0,
	3 + arg1 -X2 == 0,
	arg1 -X0 == 0,
	-1 + arg1 >= 0
}
method 2