1.57/1.65	MAYBE
1.57/1.65	
1.57/1.65	
1.57/1.65	Connected Subgraphs where we couldn't prove Termination:
1.57/1.65	--------------------------------------------------------
1.57/1.65	SCC:
1.57/1.65	+--transitions: t0,t1
1.57/1.65	+--nodes: l0,l1
1.57/1.65	
1.57/1.65	
1.66/1.70	EOF