3.27/3.33	MAYBE
3.27/3.33	
3.27/3.33	
3.27/3.33	Connected Subgraphs where we couldn't prove Termination:
3.27/3.33	--------------------------------------------------------
3.27/3.33	SCC:
3.27/3.33	+--transitions: t1
3.27/3.33	+--nodes: n_n_n_f30_0_loop_JMP___1___1___1
3.27/3.33	
3.27/3.33	
3.37/3.39	EOF