232.14/232.20	MAYBE
232.14/232.20	
232.14/232.20	
232.14/232.20	Connected Subgraphs where we couldn't prove Termination:
232.14/232.20	--------------------------------------------------------
232.14/232.20	SCC:
232.14/232.20	+--transitions: t3,t4,t5,t6,t7,t8,t9
232.14/232.20	+--nodes: n_n_n_l4___3___2___2,n_n_n_l5___6___5___5,n_n_n_l6___1___1___1,n_n_n_l6___4___3___3
232.14/232.20	
232.14/232.20	
232.23/232.26	EOF