4.46/4.51 YES 4.46/4.51 4.46/4.51 4.46/4.51 Termination: (Ranking Functions Found) 4.46/4.51 ------------ 4.46/4.51 l4: < < - i_19_0 + length_17_0 > > 4.46/4.51 l5: < < -1 - i_86_0 + result_dot_nondet_sdv_special_RETURN_VALUE_13_0 > > 4.46/4.51 4.46/4.51 4.53/4.57 EOF