1.19/1.22 YES 1.19/1.22 1.19/1.22 1.19/1.22 Termination: (Ranking Functions Found) 1.19/1.22 ------------ 1.19/1.22 f120_0_twoWay_GE: < < arg1 > > 1.19/1.22 1.19/1.22 1.19/1.28 EOF