9.52/9.56	MAYBE
9.52/9.56	
9.52/9.56	
9.52/9.56	Connected Subgraphs where we couldn't prove Termination:
9.52/9.56	--------------------------------------------------------
9.52/9.56	SCC:
9.52/9.56	+--transitions: t4
9.52/9.56	+--nodes: n_n_n_l6___1___1___1
9.52/9.56	
9.52/9.56	
9.59/9.63	EOF