25.72/25.76	MAYBE
25.72/25.76	
25.72/25.76	
25.72/25.76	Connected Subgraphs where we couldn't prove Termination:
25.72/25.76	--------------------------------------------------------
25.72/25.76	SCC:
25.72/25.76	+--transitions: t8
25.72/25.76	+--nodes: n_n_n_l2___3___1___1
25.72/25.76	
25.72/25.76	
25.79/25.82	EOF