9.08/9.10 YES 9.08/9.10 9.08/9.10 9.08/9.10 Termination: (Ranking Functions Found) 9.08/9.10 ------------ 9.08/9.10 l4: < < -1 + a_243_0 > > 9.08/9.10 l1: < < a_243_0 > > 9.08/9.10 l0: < < 16 - i_8_0 > > 9.08/9.10 l2: < < 16 - i_8_0 > > 9.08/9.10 9.08/9.10 9.14/9.16 EOF