3.70/3.81	MAYBE
3.70/3.81	
3.70/3.81	
3.70/3.81	Connected Subgraphs where we couldn't prove Termination:
3.70/3.81	--------------------------------------------------------
3.70/3.81	SCC:
3.70/3.81	+--transitions: t1
3.70/3.81	+--nodes: n_n_n_l0___1___1___1
3.70/3.81	
3.70/3.81	
3.75/3.87	EOF