8.29/8.35	MAYBE
8.29/8.35	
8.29/8.35	
8.29/8.35	Connected Subgraphs where we couldn't prove Termination:
8.29/8.35	--------------------------------------------------------
8.29/8.35	SCC:
8.29/8.35	+--transitions: t1
8.29/8.35	+--nodes: n_n_n_l1___1___1___1
8.29/8.35	
8.29/8.35	
8.37/8.42	EOF