6.29/6.35 YES 6.29/6.35 6.29/6.35 6.29/6.35 Termination: (Ranking Functions Found) 6.29/6.35 ------------ 6.29/6.35 f1612_0_main_NULL: < < arg2 > > 6.29/6.35 f1301_0_createTree_LE: < < arg4 - arg5 >, < arg4 - arg5 >, < arg4 - arg5 >, < arg4 - arg5 >, < arg3 >, < arg3 > > 6.29/6.35 6.29/6.35 6.37/6.41 EOF