11.11/11.14	MAYBE
11.11/11.14	
11.11/11.14	
11.11/11.14	Connected Subgraphs where we couldn't prove Termination:
11.11/11.14	--------------------------------------------------------
11.11/11.14	SCC:
11.11/11.14	+--transitions: t1,t2,t3,t4
11.11/11.14	+--nodes: n_n_n_l2___2___2___2,n_n_n_l3___1___1___1
11.11/11.14	
11.11/11.14	
11.11/11.20	EOF