2.51/2.57 YES 2.51/2.57 2.51/2.57 2.51/2.57 Termination: (Ranking Functions Found) 2.51/2.57 ------------ 2.51/2.57 f196_0_create_LE: < < arg1 > > 2.51/2.57 2.51/2.57 2.57/2.63 EOF