3.18/3.21	MAYBE
3.18/3.21	
3.18/3.21	
3.18/3.21	Connected Subgraphs where we couldn't prove Termination:
3.18/3.21	--------------------------------------------------------
3.18/3.21	SCC:
3.18/3.21	+--transitions: t1
3.18/3.21	+--nodes: n_n_n_f33_0_loop_GE___1___1___1
3.18/3.21	
3.18/3.21	
3.25/3.26	EOF