3.29/3.39	MAYBE
3.29/3.39	
3.29/3.39	
3.29/3.39	Connected Subgraphs where we couldn't prove Termination:
3.29/3.39	--------------------------------------------------------
3.29/3.39	SCC:
3.29/3.39	+--transitions: t1
3.29/3.39	+--nodes: n_n_n_l0___1___1___1
3.29/3.39	
3.29/3.39	
3.37/3.45	EOF