NO


NON-Termination:
----------------
SCC:
+--transitions: t4,t5,t6,t7,t8
+--nodes: f130_0_loop_GT,f131_0_loop_LT,f163_0_loop_GE
Closed walk: 2 -> t4, t7
Reachability checked!
- Recurrent Set Found:
{
	arg1P == 0,
	X0 == 0,
	arg1 == 0
}
method 1