11.23/11.26	MAYBE
11.23/11.26	
11.23/11.26	
11.23/11.26	Connected Subgraphs where we couldn't prove Termination:
11.23/11.26	--------------------------------------------------------
11.23/11.26	SCC:
11.23/11.26	+--transitions: t1,t2,t3
11.23/11.26	+--nodes: n_n_n_l1___2___2___2,n_n_n_l4___1___1___1
11.23/11.26	
11.23/11.26	
11.30/12.07	EOF