3.17/3.26	MAYBE
3.17/3.26	
3.17/3.26	
3.17/3.26	Connected Subgraphs where we couldn't prove Termination:
3.17/3.26	--------------------------------------------------------
3.17/3.26	SCC:
3.17/3.26	+--transitions: t1
3.17/3.26	+--nodes: n_n_n_f51_0_loop_LE___1___1___1
3.17/3.26	
3.17/3.26	
3.30/3.32	EOF