1.59/1.63 YES 1.59/1.63 1.59/1.63 1.59/1.63 Termination: (Ranking Functions Found) 1.59/1.63 ------------ 1.59/1.63 f160_0_main_LE: < < arg3 > > 1.59/1.63 f167_0_length_InvokeMethod: < < arg1 > > 1.59/1.63 1.59/1.63 1.65/1.68 EOF