9.66/9.76	MAYBE
9.66/9.76	
9.66/9.76	
9.66/9.76	Connected Subgraphs where we couldn't prove Termination:
9.66/9.76	--------------------------------------------------------
9.66/9.76	SCC:
9.66/9.76	+--transitions: t1
9.66/9.76	+--nodes: n_n_n_l1___1___1___1
9.66/9.76	
9.66/9.76	
9.82/9.82	EOF