2.08/2.14 YES 2.08/2.14 2.08/2.14 2.08/2.14 Termination: (Ranking Functions Found) 2.08/2.14 ------------ 2.08/2.14 f180_0_ack_GT: < < arg2 >, < arg2 >, < arg1 > > 2.08/2.14 2.08/2.14 2.17/2.20 EOF