6.52/6.60	MAYBE
6.52/6.60	
6.52/6.60	
6.52/6.60	Connected Subgraphs where we couldn't prove Termination:
6.52/6.60	--------------------------------------------------------
6.52/6.60	SCC:
6.52/6.60	+--transitions: t1,t2,t3
6.52/6.60	+--nodes: n_n_n_l0___3___2___2,n_n_n_l1___2___1___1
6.52/6.60	
6.52/6.60	
6.59/6.66	EOF