NO


NON-Termination:
----------------
SCC:
+--transitions: t49,t50
+--nodes: l31,l4
Closed walk: 2 -> t49, t50
Reachability checked!
- Recurrent Set Found:
{
	tmp1_0 -tmp1_post == 0,
	ret_0 -ret_post == 0,
	one_0 -one_post == 0,
	maxconn_0 -maxconn_post == 0,
	listen_index_0 -listen_index_post == 0,
	fd_0 -fd_post == 0,
	family_0 -family_post == 0,
	err_0 -err_post == 0,
	addrs_0 -addrs_post == 0,
	addr_ai_family_0 -addr_ai_family_post == 0,
	addr_0 -addr_post == 0,
	added_0 -added_post == 0,
	__rho_9__0 -__rho_9__post == 0,
	__rho_8__0 -__rho_8__post == 0,
	__rho_5__0 -__rho_5__post == 0,
	__rho_4__0 -__rho_4__post == 0,
	__rho_3__0 -__rho_3__post == 0,
	__rho_2__0 -__rho_2__post == 0,
	__rho_1__0 -__rho_1__post == 0,
	__rho_16__0 -__rho_16__post == 0,
	__rho_15__0 -__rho_15__post == 0,
	__const_10_0 -__const_10_post == 0,
	MaxListen_0 -MaxListen_post == 0,
	MaxBackends_0 -MaxBackends_post == 0,
	MAXADDR_0 -MAXADDR_post == 0,
	ListenSocket_OF_listen_index_0 -ListenSocket_OF_listen_index_post == 0,
	tmp1_0 -X25 == 0,
	ret_0 -X24 == 0,
	one_0 -X23 == 0,
	maxconn_0 -X22 == 0,
	listen_index_0 -X21 == 0,
	fd_0 -X20 == 0,
	family_0 -X19 == 0,
	err_0 -X18 == 0,
	addrs_0 -X17 == 0,
	addr_ai_family_0 -X16 == 0,
	addr_0 -X15 == 0,
	added_0 -X14 == 0,
	__rho_9__0 -X13 == 0,
	__rho_8__0 -X12 == 0,
	__rho_5__0 -X11 == 0,
	__rho_4__0 -X10 == 0,
	__rho_3__0 -X9 == 0,
	__rho_2__0 -X8 == 0,
	__rho_1__0 -X7 == 0,
	__rho_16__0 -X6 == 0,
	__rho_15__0 -X5 == 0,
	__const_10_0 -X4 == 0,
	MaxListen_0 -X3 == 0,
	MaxBackends_0 -X2 == 0,
	MAXADDR_0 -X1 == 0,
	ListenSocket_OF_listen_index_0 -X0 == 0
}
Connected Subgraphs where we couldn't prove Termination:
--------------------------------------------------------
SCC:
+--transitions: t10,t12,t15,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t26,t27,t28,t29,t31,t32,t33,t34,t35,t36,t37,t38,t39,t4,t40,t41,t42,t5,t6,t7,t8,t9
+--nodes: l10,l12,l13,l14,l15,l16,l17,l18,l19,l20,l21,l22,l23,l24,l25,l26,l27,l5,l6,l7,l8,l9


method 1