4.06/4.07	MAYBE
4.06/4.07	
4.06/4.07	
4.06/4.07	Connected Subgraphs where we couldn't prove Termination:
4.06/4.07	--------------------------------------------------------
4.06/4.07	SCC:
4.06/4.07	+--transitions: t1
4.06/4.07	+--nodes: n_n_n_f34_0_loop_Inc___1___1___1
4.06/4.07	
4.06/4.07	
4.11/4.13	EOF