11.58/11.60	MAYBE
11.58/11.60	
11.58/11.60	
11.58/11.60	Connected Subgraphs where we couldn't prove Termination:
11.58/11.60	--------------------------------------------------------
11.58/11.60	SCC:
11.58/11.60	+--transitions: t6,t7,t8
11.58/11.60	+--nodes: n_n_n_l0___2___1___1,n_n_n_l1___4___3___3
11.58/11.60	
11.58/11.60	
11.58/11.66	EOF