NO


NON-Termination:
----------------
SCC:
+--transitions: t2
+--nodes: n_l1___1
Closed walk: 1 -> t2
Reachability checked!
- Recurrent Set Found:
{
	-2 + x_14_0 -x_14_post == 0,
	st_15_0 -st_15_post == 0,
	rt_11_0 -rt_11_post == 0,
	-1 + b_16_post == 0,
	-1 + b_16_0 == 0
}
Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: 
+--nodes: n_l1___2
SCC:
+--transitions: 
+--nodes: n_l11


method 2