1.64/1.76	MAYBE
1.64/1.76	
1.64/1.76	
1.64/1.76	Connected Subgraphs where we couldn't prove Termination:
1.64/1.76	--------------------------------------------------------
1.64/1.76	SCC:
1.64/1.76	+--transitions: t0,t1,t2,t3
1.64/1.76	+--nodes: l0,l1,l2
1.64/1.76	
1.64/1.76	
1.76/1.81	EOF