1.34/1.48 YES 1.34/1.48 1.34/1.48 1.34/1.48 Termination: (Ranking Functions Found) 1.34/1.48 ------------ 1.34/1.48 f259_0_div_LT: < < arg2 - arg3 > > 1.34/1.48 1.34/1.48 1.34/1.54 EOF