3.23/3.31	MAYBE
3.23/3.31	
3.23/3.31	
3.23/3.31	Connected Subgraphs where we couldn't prove Termination:
3.23/3.31	--------------------------------------------------------
3.23/3.31	SCC:
3.23/3.31	+--transitions: t1
3.23/3.31	+--nodes: n_n_n_f56_0_sum_NE___1___1___1
3.23/3.31	
3.23/3.31	
3.29/3.37	EOF