4.45/4.47	MAYBE
4.45/4.47	
4.45/4.47	
4.45/4.47	Connected Subgraphs where we couldn't prove Termination:
4.45/4.47	--------------------------------------------------------
4.45/4.47	SCC:
4.45/4.47	+--transitions: t1
4.45/4.47	+--nodes: n_n_n_f80_0_main_EQ___1___1___1
4.45/4.47	
4.45/4.47	
4.45/4.54	EOF