6.18/6.26	MAYBE
6.18/6.26	
6.18/6.26	
6.18/6.26	Connected Subgraphs where we couldn't prove Termination:
6.18/6.26	--------------------------------------------------------
6.18/6.26	SCC:
6.18/6.26	+--transitions: t1
6.18/6.26	+--nodes: n_n_n_l0___1___1___1
6.18/6.26	
6.18/6.26	
6.27/6.32	EOF