NO


NON-Termination:
----------------
SCC:
+--transitions: t3,t4,t5,t6
+--nodes: n_eval_main_bb1_in___2,n_eval_main_bb1_in___4,n_eval_main_bb2_in___1,n_eval_main_bb2_in___3
Closed walk: 4 -> t3, t4, t5, t6
Reachability checked!
- Recurrent Set Found:
{
	-51 + v_i_P0_P == 0,
	-51 + v__P_P == 0,
	-49 + X5 == 0,
	-49 + X4 == 0,
	-49 + X3 == 0,
	-49 + X2 == 0,
	-51 + X1 == 0,
	-51 + X0 == 0,
	-51 + v_i_P0 == 0,
	-51 + v__P == 0
}
method 3