6.28/6.63	MAYBE
6.28/6.63	
6.28/6.63	
6.28/6.63	Connected Subgraphs where we couldn't prove Termination:
6.28/6.63	--------------------------------------------------------
6.28/6.63	SCC:
6.28/6.63	+--transitions: t1,t2,t3,t4
6.28/6.63	+--nodes: n_n_n_l0___1___1___1,n_n_n_l0___2___2___2
6.28/6.63	
6.28/6.63	
6.32/6.70	EOF