198.00/198.14	MAYBE
198.00/198.14	
198.00/198.14	
198.00/198.14	Termination: (Ranking Functions Found)
198.00/198.14	------------
198.00/198.14	l10: < < - i_110_0 + length_27_0 > >
198.00/198.14	l0: < < - i_29_0 + result_dot_nondet_sdv_special_RETURN_VALUE_14_0 > >
198.00/198.14	
198.00/198.14	
198.00/198.14	Connected Subgraphs where we couldn't prove Termination:
198.00/198.14	--------------------------------------------------------
198.00/198.14	SCC:
198.00/198.14	+--transitions: t3
198.00/198.14	+--nodes: n_n_n_l2___1___1___1
198.00/198.14	
198.00/198.14	
198.16/198.20	EOF