40.27/40.36	MAYBE
40.27/40.36	
40.27/40.36	
40.27/40.36	Connected Subgraphs where we couldn't prove Termination:
40.27/40.36	--------------------------------------------------------
40.27/40.36	SCC:
40.27/40.36	+--transitions: t10,t11,t12,t13,t3,t4,t5,t6,t7,t8,t9
40.27/40.36	+--nodes: n_n_n_l0___3___2___2,n_n_n_l2___7___6___6,n_n_n_l4___4___4___4,n_n_n_l5___8___5___5,n_n_n_l6___1___3___3,n_n_n_l6___6___1___1
40.27/40.36	
40.27/40.36	
40.38/40.43	EOF