3.34/3.39	MAYBE
3.34/3.39	
3.34/3.39	
3.34/3.39	Connected Subgraphs where we couldn't prove Termination:
3.34/3.39	--------------------------------------------------------
3.34/3.39	SCC:
3.34/3.39	+--transitions: t1
3.34/3.39	+--nodes: n_n_n_f172_0_log_LE___1___1___1
3.34/3.39	
3.34/3.39	
3.42/3.45	EOF