6.29/6.35	MAYBE
6.29/6.35	
6.29/6.35	
6.29/6.35	Connected Subgraphs where we couldn't prove Termination:
6.29/6.35	--------------------------------------------------------
6.29/6.35	SCC:
6.29/6.35	+--transitions: t1
6.29/6.35	+--nodes: n_n_n_l1___1___1___1
6.29/6.35	
6.29/6.35	
6.37/6.42	EOF