39.61/39.68	MAYBE
39.61/39.68	
39.61/39.68	
39.61/39.68	Connected Subgraphs where we couldn't prove Termination:
39.61/39.68	--------------------------------------------------------
39.61/39.68	SCC:
39.61/39.68	+--transitions: t8
39.61/39.68	+--nodes: n_n_n_l1___4___1___1
39.61/39.68	
39.61/39.68	
39.69/39.74	EOF