1.36/1.39	MAYBE
1.36/1.39	
1.36/1.39	
1.36/1.39	Connected Subgraphs where we couldn't prove Termination:
1.36/1.39	--------------------------------------------------------
1.36/1.39	SCC:
1.36/1.39	+--transitions: t0,t1
1.36/1.39	+--nodes: l0,l1
1.36/1.39	
1.36/1.39	
1.36/1.44	EOF