3.50/3.59	MAYBE
3.50/3.59	
3.50/3.59	
3.50/3.59	Connected Subgraphs where we couldn't prove Termination:
3.50/3.59	--------------------------------------------------------
3.50/3.59	SCC:
3.50/3.59	+--transitions: t1
3.50/3.59	+--nodes: n_n_n_l1___1___1___1
3.50/3.59	
3.50/3.59	
3.60/3.66	EOF