1.66/1.76 YES 1.66/1.76 1.66/1.76 1.66/1.76 Termination: (Ranking Functions Found) 1.66/1.76 ------------ 1.66/1.76 f239_0_main_LE: < < 0 >, < arg3 > > 1.66/1.76 f203_0_main_NE: < < arg2 > > 1.66/1.76 1.66/1.76 1.79/1.81 EOF