NO


NON-Termination:
----------------
SCC:
+--transitions: t12,t13
+--nodes: l10,l7
Closed walk: 2 -> t12, t13
Reachability checked!
- Recurrent Set Found:
{
	x_0 -x_post == 0,
	x1_0 -x1_post == 0,
	r_0 -r_post == 0,
	r0_0 -r0_post == 0,
	x_0 -X3 == 0,
	x1_0 -X2 == 0,
	r_0 -X1 == 0,
	r0_0 -X0 == 0
}
Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t5,t6
+--nodes: l6,l8
SCC:
+--transitions: t18,t19
+--nodes: l11,l13
SCC:
+--transitions: t24,t25
+--nodes: l14,l16


method 1