3.87/3.98	MAYBE
3.87/3.98	
3.87/3.98	
3.87/3.98	Connected Subgraphs where we couldn't prove Termination:
3.87/3.98	--------------------------------------------------------
3.87/3.98	SCC:
3.87/3.98	+--transitions: t1
3.87/3.98	+--nodes: n_n_n_f61_0_main_GE___1___1___1
3.87/3.98	
3.87/3.98	
3.98/4.04	EOF