1.53/1.54 YES 1.53/1.54 1.53/1.54 1.53/1.54 Termination: (Ranking Functions Found) 1.53/1.54 ------------ 1.53/1.54 f91_0_divBy_LE': < < -1 + arg2 > > 1.53/1.54 f91_0_divBy_LE: < < arg2 > > 1.53/1.54 1.53/1.54 1.53/1.60 EOF