174.16/174.70	MAYBE
174.16/174.70	
174.16/174.70	
174.16/174.70	Termination: (Ranking Functions Found)
174.16/174.70	------------
174.16/174.70	l21: < < - i_33_0 + length_32_0 > >
174.16/174.70	n_l21___4: < < - i_33_0 + result_dot_nondet_sdv_special_RETURN_VALUE_14_0 > >
174.16/174.70	l30: < < - i_33_0 + result_dot_nondet_sdv_special_RETURN_VALUE_14_0 > >
174.16/174.70	
174.16/174.70	
174.16/174.70	Connected Subgraphs where we couldn't prove Termination:
174.16/174.70	--------------------------------------------------------
174.16/174.70	SCC:
174.16/174.70	+--transitions: t3
174.16/174.70	+--nodes: n_n_n_l0___3___3___3
174.16/174.70	
174.16/174.70	
174.25/174.77	EOF