3.67/3.76	MAYBE
3.67/3.76	
3.67/3.76	
3.67/3.76	Connected Subgraphs where we couldn't prove Termination:
3.67/3.76	--------------------------------------------------------
3.67/3.76	SCC:
3.67/3.76	+--transitions: t1
3.67/3.76	+--nodes: n_n_n_f50_0_loop_EQ___2___1___1
3.67/3.76	
3.67/3.76	
3.79/3.82	EOF